第431部分 (第5/5页)
的矛盾。
“最近一次危机,是由于素朴集合论的出现所提供的诡异的论证方式所产生出来的,它给我们引导出相当不错的结果,以至于我们可以认为它已经最终建立起来。我们已经学会把整个算学追溯到单一的源泉,它由几个符号和这些符号的几条使用规则组成。无疑这是一个攻不破的护山大阵虽然我们很难禁锢在其中而不遭受到饥懂的风险,但是我们却总可以在局面捉摸不定和有外界危险的情况下自行决定退居其中。”
——第三次数学危机,集合论的自我指涉引发的矛盾。
王崎闭上眼睛,在这里停顿了一下。然后,�