公理*论造句怎么写

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

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

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

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