Gentzen

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

Related Subjects

Gentzen's Consistency Proof

Gerhard Gentzen

Related Phrases

Consistency Proofs

Cut-Elimination Theorem

History of Logic

Mathematische Annalen

Peano Arithmetic

Structural Proof

Transfinite Induction

Related Words