Peano

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Peano Arithmetic

Related Phrases

Alessandro Padoa

Binary Operations

Consistency Proofs

Gerhard Gentzen

Kruskal's Tree Theorem

Robinson Arithmetic

Undecidable Problem

Related Words