对公式的每个ω一致的递归类κ,对应着一个递归的类记号γ,使得νGenγ或Neg(νGenγ)都不属于Flg(κ)(其中ν是γ的自由变量).
原文是德文,也许你觉得这种表达无论如何仍是德语式的.所以这里用更易懂的汉语把它改写为:数论的所有一致的公理化形式系统都包含有不可判定的命题.这就是那颗珍珠.在这颗珍珠里很难看到怪圈.这是因为怪圈被埋藏在牡蛎 -  - 证明之中了.哥德尔不完全性定理的证明的关键在于能写出一个自指的数学陈述,就像说谎者悖论是语言中的自指语句一样.尽管用语言来谈论语言似乎是很简单的,然而,要发现如何让一个关于数的陈述能够谈论它自身,可就不那么容易了.事实上,只有天才才能将自指陈述的概念与数论联系起来.哥德尔一