Finite sets and Gödel's incompleteness theorems
Volume 422 / 2003
Dissertationes Mathematicae 422 (2003), 1-58
MSC: Primary 03F40; Secondary 03E30, 03E35.
DOI: 10.4064/dm422-0-1
Abstract
We give complete proofs of the two famous incompleteness theorems of Gödel. However, instead of the usual choice of Peano Arithmetic, we take the theory of hereditarily finite sets as the basis for the presentation.