もう同じことの繰り返しになって冗長だから
・レーヴェンハイム–スコーレムの定理のステートメント
・自然数の超準モデルの存在
は理解してから書き込んでくれ〜