正確には

標準モデルの定理→標準モデルを同定できる証明系の定理

>>142
例えば第一不完全性の前提のω無矛盾。任意の自然数kについてP(k)ならば∃k¬P(k)は証明できない。この任意の自然数ってじゃ何？