248 ：
ご冗談でしょう？名無しさん：
>>246 ＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない
だからどうした？
なんか意味あるか？それ
反論できなくなってごまかしてどうする？ん？
249 ：
ご冗談でしょう？名無しさん：2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>240 ＞∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前ＷＷＷＷＷＷＷ
250 ：
ご冗談でしょう？名無しさん：2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>246 ＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない
そりゃそんなことする必要全くないからなバカなのか？ん？
251 ：
ご冗談でしょう？名無しさん：2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>240 ZFじゃないだろ？
「ZFから正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ
