自分自身を含まない集合 {x | ￢x∈x} などという集合の存在を認めてしまうと矛盾が生じる。カリーのパラドクスは、このラッセルのパラドクスとよく似ている*1。論理学では、否定命題￢Pを「P→⊥」という形で定義することがある。この定義を用いると、ラッセル…