從你貼的頁，字麵理解：uncle是原來的公式。設這個公式的Godel數是u。把u帶進公式裏的a”。得到的公式叫G。

G的Godel數是a'（公式裏Arithmo...）。公式裏的TNT-PROOF...說a'（相應的公式）是a證明。但整個公式是不存在a使得a'（也是arithmoqunification of u)是a的證明。就是說，沒有公式（如果它的Godel數是a')是a的證明。但這個公式G本身的Godel數就是a'。所以G不是定理（因為不存在a，G是a的證明）。