>>246
>つまり、ZF-FAから∀x(not x∈x)は証明出来ない

だからどうした?
なんか意味あるか?それ
反論できなくなってごまかしてどうする?ん?