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

Incompleteness Theorem

Mathematische Annalen

Natural Deduction

Order Arithmetic

Sequent Calculus

Transfinite Induction

Related Words