An implication of G\"odel's incompleteness theorem

zbMath1186.03072arXiv0904.0342MaRDI QIDQ3635638

Hitoshi Kitada

Publication date: 6 July 2009

Full work available at URL: https://arxiv.org/abs/0904.0342

zbMATH Keywords

consistencyincompletenessGödeltransfinite extension

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursive ordinals and ordinal notations (03F15) Set theory (03E99) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion

This page was built for publication: An implication of G\"odel's incompleteness theorem