An implication of Gödel's incompleteness theorem

Simple item page
dc.creatorKitada, Hitoshi
dc.date2009-04-02
dc.date.accessioned2026-07-07T13:17:27Z
dc.date.available2026-07-07T13:17:27Z
dc.descriptionA proof of Gödel's incompleteness theorem is given. With this new proof a transfinite extension of Gödel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a contradiction arises. The cause is shown to be the implicit identification of the meta level and the object level hidden behind the Gödel numbering. An implication of these considerations is stated.
dc.descriptionLaTeX, 50 pages
dc.identifierhttps://arxiv.org/abs/0904.0342
dc.identifierhttp://arxiv.org/abs/0904.0342
dc.identifierInternational Journal of Pure and Applied Mathematics, 52, No. 4 (2009), 511-567.
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/231120
dc.subjectLogic
dc.subject03F40, 03F15, 03B25, 03E99
dc.titleAn implication of Gödel's incompleteness theorem
dc.typetext

Files

Collections

arXiv