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