前面已经说了,如果在我们的自然语言系统(也可以看作是一个广义的形式系统)中的公认悖论的谎者悖论“本句假”,也像哥德尔定理这么来,说它不是系统悖论(矛盾),语言系统不应该产生矛盾,于是假设自然语言系统是一致的(无矛盾的),则此句“本句假”的正反命题都假(不是真命题)于是说“本句假”在自然语言中不可判定,但它明明又是这真的语句(说的就是自己假),于是只能说这个真,是更高自然语言系统中的一个真命题,在原先的自然语言系统中没有这个真。这不是矫情吗?那么,我们不是还可以说,在这个高一层的自然语言中,不是又可以有它的“本句假”吗?如此类推,可以有无穷层。而无穷的东西,是在有限中证明不了的。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。