>>788
>定義に使ったことは、カッコ{}とノイマン構成による自然数Nと標準の順序数ωのみだよ
>(定義には、well-definedかどうかはあるけどね)
ノイマン構成だろうと他のどんな構成だろうとωの前者は存在しません。
よってωzなるものは集合ではありません。よってZF上に存在できません。よってwell-definedではありません。
そろそろ理解しましょうね。