On the Goedel's formula
综合数学
2023-02-23 v9
摘要
This article examines the formula G (of Goedel). We demonstrated that the Goedel's number of the formula G is not a finite number if (i) G is comprehended as a self-referential statement or (ii) there is an infinite set S of well-formed formulae such that the elements of S are theorems or antitheorems in T.
引用
@article{arxiv.math/0104025,
title = {On the Goedel's formula},
author = {Jailton C. Ferreira},
journal= {arXiv preprint arXiv:math/0104025},
year = {2023}
}
备注
4 pages. Section 3 rewritten