なぜ悪質な永久機関ビジネスはなくならないのか？４
298 ：ご冗談でしょう？名無しさん：
|
|
|
299 ：ご冗談でしょう？名無しさん：2013/08/11(日) NY:AN:NY.AN ID:742qEOcR
証明責任すら理解できないのは底辺大特有
300 ：ご冗談でしょう？名無しさん：2013/08/11(日) NY:AN:NY.AN ID:742qEOcR
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
301 ：ご冗談でしょう？名無しさん：2013/08/11(日) NY:AN:NY.AN ID:742qEOcR
はよ査読論文持ってこい
底辺大ＷＷＷＷＷ
底辺大ＷＷＷＷＷ