[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
129(2): 2013/08/05(月) NY:AN:NY.AN ID:6de8B1/1(10/13) AAS
>>128
正則性公理なら載ってるな
基礎の公理なんて言ってるのは中卒
240(8): 2013/08/06(火) NY:AN:NY.AN ID:??? AAS
>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
外部ﾘﾝｸ:www.google.co.jp
こっちは整礎性公理と呼んでたのね
外部ﾘﾝｸ:researchmap.jp
>>130
∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
省1
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.286s*