A direct proof of Gödel's incompleteness theorem.
Prida, José F.
Collectanea Mathematica, Tome 37 (1986), p. 81-83 / Harvested from Biblioteca Digital de Matemáticas
Access to full text
Publié le : 1986-01-01
DMLE-ID : 147 
@article{urn:eudml:doc:38673,
     title = {A direct proof of G\"odel's incompleteness theorem.},
     journal = {Collectanea Mathematica},
     volume = {37},
     year = {1986},
     pages = {81-83},
     zbl = {0627.03042},
     mrnumber = {MR0882793},
     language = {en},
     url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38673}
}

Prida, José F. A direct proof of Gödel's incompleteness theorem.. Collectanea Mathematica, Tome 37 (1986) pp. 81-83. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38673/