19/10/03 21:06:35.10 yjiqL8Jw.net
>>921
おれも分かってないけど
お前も、分かってないね～ｗ
良い勝負だぜｗｗ(゜ロ゜;
下記
「ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない」
とあるよｗｗ（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
「クラス」の正確な定義は、議論の基礎となる文脈に依存する。
ツエルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、
他の集合論（たとえば、ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、
「クラス」の概念は公理化されている
（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。
しかし、到達不能基数 κ の存在を仮定すれば「それよりランクの小さな集合全体」は ZF のモデル（グロタンディーク宇宙）になり、その部分集合を「クラス」として考えることができる。
ノイマン-ベルナイス-ゲーデルの公理系 (NBG) を例に挙げよう。
この理論ではクラスは基本的な対象であり、集合は別のクラスの要素であるクラスとして定義される。
しかしながら、NBGにおける集合の存在公理は、クラスの上を亘るのではなく、集合の上を亘る量化のみに制限されている。
これにより、NBG は ZF の保存拡大となる。
モース-ケリー集合論 (MK) は（NBG のように）真クラスを基礎的な対象として認めるものだが、集合の存在公理の中で全ての真クラスを走る量化をも許す。これにより、MKはZFやNBGより真に強い。