背理法っておかしくね？

だってさ，S = {X | X ∉ X} と定義するだろ
S ∉ S と仮定すると S の定義から
S ∊ S でなければならないだろ？
背理法だとそれは矛盾だからといって，
S ∊ S とするよな？

でもな，S ∊ S と仮定しても矛盾が起きるんだよ
なぜなら S は X ∉ X なる X の集合だから
S ∊ S なる S は要素にはなり得ない
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　powered by HogePiyoFoobar
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　http://h;ogepiyofoobar.seesaa.net/