论哥德尔公式
综合数学
2023-02-23 v9
摘要
本文考察哥德尔的公式 G。我们证明了：若 (i) G 被理解为自指陈述，或 (ii) 存在良构公式的无限集 S 使得 S 中的元素是 T 中的定理或反定理，则公式 G 的哥德尔数不是有限数。
引用
@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