[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
258(1): 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(3/5) AAS
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
605: 2014/02/12(水)23:15 ID:??? AAS
>>119>>129>>244
基礎の公理の成り立たない集合論 (non well-founded set theory) について
渕野 昌
外部ﾘﾝｸ[html]:kurt.scitec.kobe-u.ac.jp
>>258>>280>>289>>311
鴨 浩靖
外部ﾘﾝｸ[html]:taurus.ics.nara-wu.ac.jp
よくある間違い2 「正則性公理（基礎の公理）はパラドックスを排除するために導入された」
数学の理論で公理を増やして定理が減ることはありません。だから、公理を追加することで矛盾が解消することなど、ありえません。
集合論そのものをよく知らなくても、常識を働かせるだけですぐわかる間違いです。なんでこんなのを信じちゃう人がいるんでしょうねえ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.378s*