99など、無矛盾性などの統語論的な命題に比べて
標準モデルに言及するすると胡散臭くなると考えている人がいるみたいだけど、
「任意の矛盾に至る証明について」とか「矛盾に至る証明は存在しない」とかの
量化の範囲を固定するのと、自然数論の標準モデルを固定するのはほぼ同じだよね。
（強いていえば後者の方がまだましかと思う。）

>>>111に書いてある\Sigma^0_1完全性の証明とか自分で証明してみると
そういうことがよく分かると思う。