All Subjects
Light
12.1
Formal Arithmetic and Gödel Numbering
12.2
Representability and Expressibility
12.3
The First Incompleteness Theorem: Statement and Proof Outline
12.4
Implications for Mathematical Systems