なるほど。では標準モデルはある意味で最小のモデルということだろうか。

ゲーデルの話はモデルの最小性を一階の言語の公理で言い表すことができないという話ととれるの？