不知道你的判断是在什么层面:
我理解这里有三个层面 "数字" "推理"和 "跳出T N T "
在"数字"层次中:
"G 是 Gödel 数"对应 "G 不是 定理"
这我不知道怎么解释,我觉得书中解释有把" 数字"和 "推理"
混搭:)