数学界可能已经习惯这样的逻辑，很少想到重构数学大厦的根基。重构这种根基，值不值？天知道

【 在 xenapior 的大作中提到: 】
: 从纯逻辑上讲，引入新公理时只需要检验与其它既有公理是否隐含冲突。如果没有，那就可以。
:
--
FROM 183.63.122.*