Finite sets and Gödel's incompleteness theorems
S. Świerczkowski
GDML_Books, (2003), p.

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.

EUDML-ID : urn:eudml:doc:285944 
@book{bwmeta1.element.bwnjournal-rm-doi-10_4064-dm422-0-1,
     author = {S. \'Swierczkowski},
     title = {Finite sets and G\"odel's incompleteness theorems},
     series = {GDML\_Books},
     year = {2003},
     zbl = {1058.03065},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-rm-doi-10_4064-dm422-0-1}
}

S. Świerczkowski. Finite sets and Gödel's incompleteness theorems. GDML_Books (2003),  http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-rm-doi-10_4064-dm422-0-1/