← Back to Mathematics Database All Collections

Kurt Gödel

1906–1978

Incompleteness theorems; completeness of first-order logic.

Charts
Peano Arithmetic Godel Incompleteness 1 Peano Arithmetic Godel Incompleteness 2 Peano Arithmetic Godel Completeness Peano Arithmetic Godel Formalization Peano Arithmetic Godel Fol Axiomatic Set Theory Ad Model Theory Compactness