在读《可能与不可能的边界》 [^1] 时，有这样一个命题： There is no proof that this sentence is tr...