北田均の「不完全性への道」って本ってトンデモなの？
以下の様な記述があった。
ゲーデルはゲーデル数化において、メタな自然数nを使って
ゲーデル数nを定義してるから、ゲーデルの証明は完全には
統語論的ではない。だからヒルベルトの有限主義を否定することは
できない。
これは間違い？
ゲーデルはメタな自然数論の意味に影響を受けた証明を
してしまっているとも書いてあったな。