テスト

>>25
http://toro.2ch.net/test/read.cgi/kitchen/1382157327/33-35

>>30
http://uni.2ch.net/test/read.cgi/sci/1375192413/248-251
248 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 18:34:33.55 ID:sfilj+mj
>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない

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

249 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 18:35:32.43 ID:sfilj+mj
>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

0点
ZF集合論では集合とみなされないので定理にならない

本当に本当に白痴だなお前ＷＷＷＷＷＷＷ

250 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 18:44:34.29 ID:sfilj+mj
>>246
＞つまり、ZF-FAから∀x(not x∈x)は証明出来ない

そりゃそんなことする必要全くないからなバカなのか？ん？

251 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 18:45:35.92 ID:sfilj+mj
>>240
ZFじゃないだろ？
「ZFから正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ