然而康托尔实数理论是当今大学教程的基本。但多数人认为对的并不一定是对的。一百年前,有一场关于数学基础的纷争,后来形式主义的希尔伯特的影响力胜出,但其实是直觉主义的布劳维尔的胜利更多一些。
因为哥德尔定理与康托尔对角线方法相关性极强。本论文是沿着彭加莱和布劳维尔,把直觉主义的思想延伸到哥德尔定理的评论。
这篇论文只是试图澄清概念思维上的混乱。因为在构造主义者看来,对角线方法和哥德尔定理还有停机问题,都是脱离了经验,从而陷入了理论思维上的混乱。