Russelのパラドックス
「自分自身は要素として含まない集合」の集合$ Rを考えると破綻が起きる
という素朴な集合論上のパラドックス
形式的に書けばこう$ R = \{ x \mid x \notin x\}
このとき集合$ Rは
$ R \in Rなら$ Rの定義$ R \notin Rから矛盾する
$ R \notin Rなら$ Rに含まれる($ R \in R)ので矛盾する
公理的集合論では考えない（考えてはいけない）ことになっている