13/08/06 NY:AN:NY.AN sfilj+mj
>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない
そりゃそんなことする必要全くないからなバカなのか？ん？
13/08/06 NY:AN:NY.AN sfilj+mj
>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない
そりゃそんなことする必要全くないからなバカなのか？ん？
13/08/06 NY:AN:NY.AN sfilj+mj
>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない
そりゃそんなことする必要全くないからなバカなのか？ん？