13/08/07 NY:AN:NY.AN 4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
だから？
お前が論破されてる件に全く関係ないんだが？ん？
13/08/07 NY:AN:NY.AN 4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
だから？
お前が論破されてる件に全く関係ないんだが？ん？
13/08/07 NY:AN:NY.AN 4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
だから？
お前が論破されてる件に全く関係ないんだが？ん？