http://www.ringolab.com/note/daiya/archives/003969.html
via
http://blog.goo.ne.jp/kamimagi
「自分自身を要素とする」「自分自身を要素としない」は曖昧ではないので、「自分自身の要素でない集合である」ものは必然的に決まる。そうなれば「自分自身の要素でない集合、の集合」が考えられることになる。
だが、「自分自身の要素でない集合の、集合」とはなんだろうか。定義自体が矛盾しているようにも読めるが、これを考えた時期のラッセルは言語的に意味をなす表現は必ず指示対象を持つと考えていた。実在するにも関わらず、意味が特定できないものが、厳密な論理の果てにうまれてしまう。これがラッセルのパラドクスである。
自己言及はメタの元なのであまり考えないようにしておこう。
