？ ツエルメロが>>132 ”VII. Infinity This final axiom asserts the existence of an infinitely large set which contains the empty set, and for each set a that it contains, also contains the set {a}. (Thus, this infinite set must contain Φ, {Φ}, {{Φ}}, ….)” で示していことは、無限＝Infinity、つまり順序数としての無限であって、無限集合＝基数が無限の集合 の存在ではないですよね そう考えないと、まずいですよ （ここは、無限集合をどう定義するかにも、よりますね。現代の普通の集合論のテキストでは無限集合には含めないのでしょうが。 順序数としての無限を示す集合を、無限集合に含めれば、話は別ですね） 以上
