第一百零三章 第二幕的前奏【第四更】 (6 / 7)
        “致希门主：一别经年……”

        这一封信函的前半部分，全都不是客套话。算主直接跳过了。他看到信函的中间部分。

        “……希门主还请回想一二。有穷集合之内，除了通过不证自明的公理直接宣告之外，是否有一种运算操作，可以接触到第一个可数技术‘道真之零’【Beth-0】？……康门主昔日之雄心，不外乎‘所有序数之序数’。姑且抛下不周之算，且看起本身。至少，这以概念之内的全部元素，都是低层次序数通过集合论运算而来……”

        看到这里，算主心中已经隐隐有了一丝不安。

        尽管算学就是将“不证自明”说透的东西，但是，那也只是“发现过去被认为是“公理”的事物其实不是公理”的过程而已。

        逻辑必然存在原点。

        所谓“原点”，就是“不证自明”的公理。

        这是一切逻辑思维的起点。

        王崎就算不喜欢这个说法，暂时也没有跳出这怪圈的思路。

        “是以，吾等可以宣告一个全新的无穷公理，其名越不可达基数存在公理。”

        “不可达基数，居于其之下的基数无论通过怎么样的集合论运算，都不可能达到的基数。”

        “所以，第一不可达基数便是第一可数技术，第二不可达基数便是比“所有序数的序数的基数”更大的基数……”

        “滴答……”

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》