型论算符坚守构造的纯粹，试图用纯粹的构造方法来重建数学的大厦；直觉主义算符在创造序列中寻找第三条道路，探索着一种既不同于传统选择公�

更多内容加载中...请稍候...

本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！