テスト

>>40
http://awabi.2ch.net/test/read.cgi/mog2/1387629372/83-84

>>44
http://uni.2ch.net/test/read.cgi/sci/1375192413/243-247
243 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 09:25:46.12 ID:pBpBlBRk
>>240
ZFじゃないだろ？
「ZFから正則性公理を除いたもの」だろ？
知能指数低すぎＷＷＷＷＷＷＷ

244 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 09:27:06.00 ID:pBpBlBRk
>>240
やっぱお前低学歴だなWWWWWWW
基礎の公理とか書いてるのはまともな大学じゃない

245 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 09:28:42.26 ID:pBpBlBRk
>>240
＞∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反

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

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

247 ：ご冗談でしょう？名無しさん ：2013/08/06(火) 18:33:34.84 ID:sfilj+mj
>>246
だから除いたものはZFじゃねーっの
知能指数50無いだろ？