>>670とは関係ないが・・・

∞が超準自然数だとしても「箱入り無数目」の障害にはならない

∞が最大の元となる場合のみ「箱入り無数目」の障害となるが、
最大の元としての∞はペアノの公理の１つである後者の存在と
矛盾するのであり得ない