テスト

>>104
http://kohada.2ch.net/test/read.cgi/pcqa/1384905966/44-45

>>115
http://uni.2ch.net/test/read.cgi/sci/1375192413/248-251
248 ：ご冗談でしょう？名無しさん ：2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>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から正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ