「クラス (集合論)」の版間の差分

素朴集合論の[[パラドックス]]は「全てのクラスが集合である」という正しくない仮定によって説明される。厳格な基礎付けの下、これらのパラドックスは、対象となっているクラスが真クラスであることの証明のヒントになる。例えば[[ラッセルのパラドックス]]は「自分自身に属する集合」全体が真クラスになることを示唆するし、[[ブラリ-＝フォルティのパラドックス]]は全ての順序数によるクラスが真クラスであることを示唆している。