[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)

なぜ悪質な永久機関ビジネスはなくならないのか？４ http://rio2016.5ch.net/test/read.cgi/sci/1375192413/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

293: ご冗談でしょう？名無しさん [] 2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV >>255 ＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが 正則性公理を除いたら公理的集合論にならない バカなのか？ん？ ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない http://rio2016.5ch.net/test/read.cgi/sci/1375192413/293

309: ご冗談でしょう？名無しさん [sage] 2013/08/11(日) NY:AN:NY.AN ID:??? >>284 そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが http://upload.wikimedia.org/math/9/0/e/90e4544d455cca4479f0c67b0ff2d383.png まあ、人はいつか死ぬのは恐らく確かだろう >>293 ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当 つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが http://rio2016.5ch.net/test/read.cgi/sci/1375192413/309

311: ご冗談でしょう？名無しさん [] 2013/08/11(日) NY:AN:NY.AN ID:742qEOcR >>309 ＞>>293 ＞ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当 0点 根拠無しの妄想 http://rio2016.5ch.net/test/read.cgi/sci/1375192413/311

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.020s