欧德斯(Erds)猜想的证明注记

文章对文[5]中引理2的证明中两个关键点作了进一步阐述,并揭示了引理2证明的理论根据实质上是集合论、映射和一一对应及数列的排列规律;而且给出了“必存在符合条件的n1、n2值使n1≠n2”的证明。

A Set-Theoretical Lemma That Implies an Abstract Form of Gdel's Theorem

We propose a simple set-theoretical lemma that implies Godel＇s Incompleteness Theorem. Also mentioned are some related consequences.