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