テスト

このエントリーをはてなブックマークに追加
87名無し戦隊ナノレンジャー!
88名無し戦隊ナノレンジャー!:2014/01/25(土) NY:AN:NY.AN
>>87
http://uni.2ch.net/test/read.cgi/sci/1375192413/263-267
263 :ご冗談でしょう?名無しさん :2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
>>255
>∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

264 :ご冗談でしょう?名無しさん :2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
まさか査読論文無しとか?WWWWWW

266 :ご冗談でしょう?名無しさん :2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>265
お前とっくに敗北確定だよ
次のレスで査読論文貼れなかったからな

267 :ご冗談でしょう?名無しさん :2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>131
>>77
>と矛盾するんだよな

0点
十分性が示されてない


逃げたのか?ん?


はよ査読論文もってこいゴミ