>>676
＞超準モデルもペアノの公理を満たしている

でしょう？

では∞について、∞＜∞＋１　となる∞＋１の存在を認めるね？