263 :
ご冗談でしょう?名無しさん:
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
264 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
まさか査読論文無しとか?WWWWWW
265 :
261:2013/08/07(水) NY:AN:NY.AN ID:???
266 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>265 お前とっくに敗北確定だよ
次のレスで査読論文貼れなかったからな
267 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>131 >>77 >と矛盾するんだよな
0点
十分性が示されてない
逃げたのか?ん?
はよ査読論文もってこいゴミ