书看迷

第485章 33 无穷时代（第1页）

1何为大基数公理。

所谓性质p是一个大基数性质，大概的意思就是说?x，p（x）-x是一个基数，并且zfc+?kp（k）|-n（zfc），因此zfc无法证明p的存在性。而对应的大基数公理就是假定这样的基数存在。

2一些闲话。

从不可达基数起这些基数全是通过对v绝对不可描述的括展得到的，不过数学上的不可描述不是你们说的这些都无法成为x的描述，只有我独家可以。

而是这些描述不仅x有，y也有。比如一个世界中存在漫威公司存在百度贴吧各方面都很像现实世界可以说包含现实，但实际这些特征都不只是现实世界独有，一堆虚构世界都照样有，所以光靠包含这些描述并不能真正占有现实世界，现实世界就是不可描述的。

比如，如果w就是大全，那么“对于一切n，都存在一个使得n﹤”是w中的一个基本事实，但对于任何一个有限的世界，都存在一个极大数u，但对于u是不存在一个大于它的数。

所以“对于一切n，都存在一个使得n﹤”是一个只有w才具有的描述而不被其下的小世界具有的，所以w可以被这句话描述，

反之，“存在一个极大数或最强者”是任何有限世界都具有的，无法特定描述包含某个有限世界。

所以对于那些大基数的大往往都是通过这种方式体现：假设大基数公理，我们推导出一个十分强大的性质p，但由于k的不可描述性，k之下也存在满足这个性质的a，并且往往会有很多，所以这个用来描述k非常大的性质其实还是不足以描述k之大。

同样的道理，如果全知全能不是上帝独有的特征，被上帝欺负过的拉、宙斯之类的都具有，那么全知全能就不足以描述上帝的伟大。

3所谓不动点。

凡事皆有原因，

对任意x，均有一f（x），

原因亦又其原因，

对f（x）亦存在f（f（x）），

并且，身为原因的一方优先于其结果，比如上帝是世界的原因优先于世界，

记f（x）x，

而所谓的不动点，f（x）=x，

则表明其是自身的原因。

4量产大基数的时候到了！

大基数公理是指理论不可证明也不可证伪断言其存在的命题，就这种意义上有一种量产大基数公理的方式，

由完备性定理，理论的一致性与存在实现理论语义的宇宙等价，

由不完备性定理，理论无法证明自身的一致性，

对任意理论t，你只需要加入“存在k使得v_k是实现t的宇宙”就是一则大基数公理，这样在（t+“存在k使得v_k是实现t的宇宙”）看来，t看到的大全v就只是前者看到的大全v的一个前段v_k。

（定义计算器或计数器：

φ（0）＝v，φ（1）＝大全v，……

大全v简单来说就是“所有v_k”组成的集合或者说v_k的所有可能性组成的集合，一切v_k都只是大全v里的一个元素，终极v也是如此，只要涉及到“v”这个概念，那么就必然属于大全v，是大全v的一个真子集。