有道理。TNT ProofPair和ArithemoQuine可能很複雜。上個帖我字麵理解的跟帖可能把a和a’說反了。

我又讀了，TNT ProofPair{a,a'}可能是說a是a'的證明，我說了a'是a的證明：

https://bbs.wenxuecity.com/teatime/747119.html

感覺應該是：不存在 a 使得 a 證明a'（不存在a such that a和a'是個 proof pair）: 推出G不是定理（G的Godel number 是a')。

所有跟帖： 

• 對：）是從a‘ 開始，但邏輯是沒有pair，所以a‘不是定理。 -JSL2023- ♂ (0 bytes) () 01/19/2024 postreply 16:10:50