更新时间:2022-12-03 10:52 "我是一个说谎者"逻辑上可以证明库特哥德尔提出的第一不可判定性定理:如果公理集合论是相容的,那么存在既不能证明又不能否定的定理。西蒙·辛格。 造句词语 集合论造句 相容造句 说谎者造句 哥德尔造句 如果造句 存在造句 定理造句 可以造句 否定造句 提出造句 辛格造句 那么造句 公理造句 不能造句 西蒙造句 可判定性造句 库特造句 逻辑造句 第一造句 证明造句