在讀《可能與不可能的邊界》 [^1] 時(shí)斑举，有這樣一個(gè)命題： There is no proof that this sentence is tr...