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