登录

不允许从公理系统里推出矛盾的命题来,这体现出公理系统的独立性。

查看答案:0.2积分