証明を正確にするには、証明不能な判断"Atrue"ではなく、"πisaproofof(Atrue)"（πはAtrueの証明である）という判断を扱う。
要使证明直接了当，我们把无关证明的判断“Atrue”换成判断“π是证明(Atrue)”，它在符号上被写为“π:Atrue”。