>>444
内包公理がなけりゃ
R:= { x | ¬(x ∈ x) }
なんて置くことすらできん。

はい終了