19/10/22 09:44:48.63 gclLY16S.net
>>457
どこがわからないかわからないと堂々巡りになるから確認。
仮定はZFC。
主張1)
∀X ∃Y s.t.
∀a seq. (a1∋a2∋‥∋an, a1=X)⇔an∈Y
外延性の公理からYは存在すれば一意なのでコレをF(X)と書く。
主張2)は諦めて
主張3)
∀x∈F(X) x are singleton ⇒ rank(X) <∞
どれがわからん、知らん、納得いかない？
19/10/22 09:44:48.63 gclLY16S.net
>>457
どこがわからないかわからないと堂々巡りになるから確認。
仮定はZFC。
主張1)
∀X ∃Y s.t.
∀a seq. (a1∋a2∋‥∋an, a1=X)⇔an∈Y
外延性の公理からYは存在すれば一意なのでコレをF(X)と書く。
主張2)は諦めて
主張3)
∀x∈F(X) x are singleton ⇒ rank(X) <∞
どれがわからん、知らん、納得いかない？