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 Proof

Consistency Proofs

Cut-Elimination Theorem

Cut Elimination Theorem

Gödel's Incompleteness Theorems

Natural Deduction

Peano Arithmetic

Structural Proof

Transfinite Induction

Related Words