Lectures on the Philosophy of Mathematics

by Joel David Hamkins

Theorem 11 (First incompleteness theorem, variation, Gödel). There is no computably enumerable list of axioms that prove all and only the true statements of elementary mathematics.