工具，一步一步前行，從第0步做出空集∅，第1步做出Def(∅)\u003d{∅}，第2步再做Def({∅})……一直前行，直到某個極限，再把之前切做過的所有東西統合起來，之後又繼續往下做。
以這樣的方式，十月天構建出了一個足夠多，足夠大，甚至大到不能成為集合，成為了一種宇宙的存在。這個宇宙，正是當初哥德爾首先做出來的哥德爾宇宙，常用字母L來表示。
當初哥德爾證明了L是否與V一樣大，在數學家常用的ZF公理體係下不可判定，就算加入選擇公理的體係ZFC，V\u003dL也與ZFC沒有任何矛盾，於是，V\u003dL成為了一條公理，叫做構造性公理。在這個公理體係下，選擇公理能夠被證明出來。而這個公理，還能把另外一個著名的猜想變成定理——連續統假設。
當然，早在之前，十月天就已經引發了第四次數學基礎危機，並且又親手解決了這一危機，而解決這個危機之後，十月天得到的意外收獲，就是連續統假設既正確也錯誤，選擇公理AC既正確又錯誤，根本還是在於如何理解“選擇”和“存在”的關係。一個東西“存在”，我們就可以“選擇”它嗎？
當初哥德爾和科恩證明了，無論接受選擇公理與否，都不會導致矛盾，隻是身處不同的“數學世界”而已。而先前十月天解決第四次數學基礎危機，本質來說，也是在於他對“選擇”和“存在”的關係的更深入理解。當然，這本質上也和自指性有關，“選擇”意味著至少有一個以上的對象，而“存在”則隻需要至少確保一個對象即可，這本質上就是1和2的關係而已。
那如果十月天證明了1\u003d2呢？
那麽再極端一點往前走一步，當兩邊同時減去了1，就變成了0\u003d1了，相當於變成了“存在”等於“不存在”。
這是一個非常可怕的結論，因為這意味著這個世界上將不再有真理。0\u003d1是一個假命題，從邏輯學角度來說，假命題可以推出一切命題，比如當1\u003d2時，就會出現“羅斯福和教皇是兩個人，同時羅斯福和教皇是一個人。”的情況，這意味著世界上一切命題都可以被提出來了，隻要1\u003d2，或者再極致一點，0\u003d1（存在就是不存在），那麽“正方形是三角形”“雪是黑的”，都可以變成現實了。因為白色和黑色本質上來說是電磁波的頻率決定了顏色。
而十月天就是用了類似於“假名推論出一切命題”的粗暴邏輯，去掉了數學對象的實在性，隻剩下了純粹的“態射”或者“計算關係”，以一種絕對反實在論的立場，讓“存在”這個概念最終變成了一種“計算過程”
本章尚未完結,請點擊下一頁繼續閱讀---->>>