すれ立てテスト

>>28-30
http://awabi.2ch.net/test/read.cgi/mog2/1389592874/31-32

>>43
http://uni.2ch.net/test/read.cgi/sci/1375192413/274-289
274 ：ご冗談でしょう？名無しさん ：2013/08/08(木) 10:38:35.27 ID:r/izt0mj
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

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

279 ：ご冗談でしょう？名無しさん ：2013/08/09(金) 16:27:51.20 ID:???
>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる

死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ


＞x∈xである集合xが存在するかどうかとは関係ない

0点

280 ：ご冗談でしょう？名無しさん ：2013/08/09(金) 16:30:16.63 ID:Kog3ARrO
>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い


0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ

284 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:40:43.32 ID:AiYZNnAV
>>282
お前が死亡確定なんだよ
アドレス貼ってなんか意味あるのか？ん？

285 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:41:09.94 ID:AiYZNnAV
>>282
フレーゲの集合論知らないの？バカなの？ん？

286 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:41:49.46 ID:AiYZNnAV
>>281
査読論文貼れなかったお前は既に敗北してるんだよ
負けてから何足掻いてんの？ん？

287 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:45:03.62 ID:AiYZNnAV
>>282
＞今更言うまでもない気もするが
＞論理を全く理解していないね

なんでラッセルのパラドックスすら知らなかったの？
生きてる意味ある？

289 ：ご冗談でしょう？名無しさん ：2013/08/10(土) 00:59:11.49 ID:AiYZNnAV
素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ

頭弱いからわからなかったかＷＷＷＷＷＷ