>>940
>ツェルメロの自然数構成法を、正則性公理否定するだとぉー？！ ｗ(゜ロ゜;
>お笑いおサルの集合論ですね～ｗｗ

＜まとめ＞
1)下記のように、ZF集合論ではクラスを厳密に扱うことができない。ZF の公理系をそのままクラスに関する言明に適用することはできない
2)”X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。”とある
3)なので、同様に、正則性公理は、一つのクラスの中での、無限降下列が存在しないことを主張する公理なのである
4)極限順序数ωは、順序位相で極限点であり、任意の近傍が S の点を無限に含む
5)ωの近傍に有限順序数の点を無限に含むが、正則性公理には反しない
6)これを説明しているのが、>>882-883の整礎関係におけるωの記述だ！(゜ロ゜;

（>>927より）
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。

（>>905より）
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
定義
基数の厳密な定義
（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。
つまり X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。
これは、ZFCや関連する集合論の公理系ではうまく機能しない。
実際、X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考える事によって、宇宙から｜X｜ への単射が存在し、サイズの限界(en:Limitation of size)より、｜X｜ は真のクラスである。
フォン・ノイマンの割り当て

つづく