公理*论造句

"我是一个说谎者"逻辑上可以*库特哥德尔提出的第一不可判定*定理：如果公理*论是兼容的，那么存在既不能*又不能否定的定理

我们需要用公理化的方法对其限定，就像素朴*论变为公理*论那样。

"我是一个说谎者"逻辑上可以*库特哥德尔提出的第一不可判定*定理：如果公理*论是兼容的，那么存在既不能*又不能否定的定理。西蒙·*格

文中*古典*论与近代公理*论中的任何一个无穷*都是自相矛盾的非集。