>初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。
>そのため公理的集合論では分出公理に置き換える。

これは豆知識としてよい