>>415
>普通にやろうと思えば集合論の範囲でできそうだけどね。
x∈xは正則性の公理に反します ご存知?
正則性の公理を外せばもちろん構いませんがね