Gentzen

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

Related Subjects

Gerhard Gentzen

Related Phrases

Consistency Proof

Gödel's Incompleteness Theorems

Hilbert's Second Problem

History of Logic

Incompleteness Theorem

Mathematische Annalen

Natural Deduction

Natural Numbers

Peano Arithmetic

Related Words