Finite sets and Gödel's incompleteness theorems
- 2003
Access Full Book
topAbstract
topHow to cite
topS. Świerczkowski. Finite sets and Gödel's incompleteness theorems. 2003. <http://eudml.org/doc/285944>.
@book{S2003,
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.},
author = {S. Świerczkowski},
keywords = {hereditarily finite sets; coding; Gödel’s incompleteness theorems},
language = {eng},
title = {Finite sets and Gödel's incompleteness theorems},
url = {http://eudml.org/doc/285944},
year = {2003},
}
TY - BOOK
AU - S. Świerczkowski
TI - Finite sets and Gödel's incompleteness theorems
PY - 2003
AB - 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.
LA - eng
KW - hereditarily finite sets; coding; Gödel’s incompleteness theorems
UR - http://eudml.org/doc/285944
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.