自然数全体を対象とする一階述語論理上の理論のモデルが一つしかないなら
不完全性定理なんか絶対に発生しようがないんだけどね

分かる？