てすと

>>23
http://kohada.2ch.net/test/read.cgi/pcqa/1383551728/30-31

>>31
http://uni.2ch.net/test/read.cgi/sci/1375192413/258-
258 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

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

259 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
そんなんで誤魔化せるとでも思ったのか？ん？
専門分野で教養に負けるとかＷＷＷＷＷＷ

260 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

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

262 ：ご冗談でしょう？名無しさん ：2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
>>261
>>131
はよ査読論文もってこいゴミ

敗北確定だよ

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