>>648
>有限n重 {・・{{Φ}1}2・・}n を認めるならば
>ω重 {・・{・・{{Φ}1}2・・}n・・}ω で合うだろ？
>これは定義です

n={1,…,n}　という定義ではないがｗ
上記の定義は、正則性公理に真っ向から反するのでＮＧ

🗾🐒は、順序数の定義すら理解できないのか？
流石ニンゲン失格の畜生だな　
高校中退の中卒ヤンキーに数学は無理　諦めろ