>>486-488
>ラッセルのパラドックスの解消と、
>ZFC（一階述語論理）は関連している

その書きぶりじゃ、
なんで、ZFCでラッセルパラドックスが解消できるか
全然分かってないな

実際は内包公理
{x|P(x)}
を分出公理
{x∈a|P(x)}
に置き換えただけだよ

{x∈a|¬x∈x}は自分自身を含まない
しかし、そこから矛盾は導かれない
なぜか？それは　{x∈a|¬x∈x}∈a　ではないから

{x|¬x∈x}と書いてしまうと、
{x|¬x∈x}∈{x|¬x∈x}
とせざるを得なくなる

たったこれだけ　

ん？どうした？一階述語論理ｗｗｗ