Russell's paradox
ラッセルのパラドックスなどの素朴集合論のパラドックスは「全てのクラスが集合である」という正しくない仮定によって説明される。厳格な基礎付けの下では、これらはパラドックスなのではなくて、ある種のクラスが真クラスであることの証明を示唆するものであると捉えることができる。ラッセルのパラドックスは「自分自身に属する集合」全体が真のクラスになることを示唆するし、ブラリ＝フォルティのパラドックスは全ての順序数からなるクラスが真のクラスであることを示唆している。