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

Cut Elimination Theorem

Hilbert's Second Problem

Mathematische Annalen

Order Arithmetic

Peano Arithmetic

Sequent Calculus

Structural Proof

Related Words