Gentzen

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

Related Subjects

Gerhard Gentzen

Related Phrases

Consistency Proof

Consistency Proofs

Gödel's Incompleteness Theorems

Hilbert's Second Problem

Incompleteness Theorem

Mathematische Annalen

Natural Deduction

Natural Numbers

Peano Arithmetic

Related Words