ラッセルのパラドクスラッセルのパラドクス

『数学の原理』執筆中に自ら発見した、素朴集合論の自己言及的矛盾をいう。自分自身を要素として含まない集合全体の集合を考えると矛盾が生じるもので、集合論の公理化と型理論の動機となった。