那你说递归函数是干嘛的?你认为无限就是不知道多大?N是包含0并对后继封闭,无限集合是用和N有单射定义的。反正也是对牛弹琴,你也看不懂。今天关于G1的回答,你说我非要发明一个座数的概念?G1用层数已经不能形容了。座数什么?第k座塔算出来的那个数字只是第k+1座塔的层数!是层数计数的迭代!你这点东西都...
哥德尔第一不完备定理其实并不难理解,得抓住几个关键点: 1)公理系统蕴含PA 2)公式用自然数指派 用递归函数表示一个证明(蕴含PA的才能做到) 每次规约得到的都是一个公式所指派的数。这个公式蕴含规约前的公式 3)证明任意“证明”有不动点。(对角线引理) ...