艾若澈己就是纯粹算的,所很清楚完那复仇一般的思路需怎的条件。
不知王崎己有有意识……实际,王崎己的工,就包含了那“相一致”证明的一部分。他已经证明了“直觉与归纳一致有直觉一致”的命题。
剩的一部分,他甚至逆着王崎曾经的思路提。
不,一步少需“直觉主义”本身有一定的理解。
由云中君柯兰荫的关系,形式主义算代表的歌庭派,与直觉主义代表的少黎派,关系一直很紧张,歌庭派内部几乎不存在连宗算,更别说直觉主义的连宗。
但何外尔偏偏是例外。
他真的相信直觉主义算,哪怕他比谁敬爱己的老师,是此。他从有悔改一点,不介意直觉主义的端,是歌庭派的仇敌,算君庞莱。
何外尔说,就是“真理”。
歌庭派员,却在日常讨论中,透何外尔,了解他需了解的。
比书便利一些。
若是一步完,那万法门说不又遭殃。
歌庭派的怀疑者与反者,在一证,就必须面一问题——若是他打算怀疑集合论的靠,那就必须怀疑四则运算的靠。
少黎派的直觉主义者说,则更……(内容加载失败!)
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!