現代数学はインチキだらけ

[過去ﾛｸﾞ] 現代数学はインチキだらけ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

967: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/04(金) 07:24:01.79 ID:/jHGImgR

>>940
>ツェルメロの自然数構成法を、正則性公理否定するだとぉー？！ ｗ(゜ロ゜;
>お笑いおサルの集合論ですね〜ｗｗ

＜まとめ＞
1)下記のように、ZF集合論ではクラスを厳密に扱うことができない。ZF の公理系をそのままクラスに関する言明に適用することはできない
2)”X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。”とある
3)なので、同様に、正則性公理は、一つのクラスの中での、無限降下列が存在しないことを主張する公理なのである
4)極限順序数ωは、順序位相で極限点であり、任意の近傍が S の点を無限に含む
5)ωの近傍に有限順序数の点を無限に含むが、正則性公理には反しない
6)これを説明しているのが、>>882-883の整礎関係におけるωの記述だ！(゜ロ゜;

（>>927より）
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%A9%E3%82%B9_(%E9%9B%86%E5%90%88%E8%AB%96)
クラス (集合論)
(抜粋)
公理的集合論におけるクラス
ZFではクラスの概念を定式化することはできない
ZF集合論ではクラスを厳密に扱うことができないので、ZF の公理系をそのままクラスに関する言明に適用することはできない。

（>>905より）
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数
(抜粋)
定義
基数の厳密な定義
（カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた）基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。
つまり X の濃度｜X｜ は X と一対一対応のつくであるすべての集合からなるクラスとして定義される。
これは、ZFCや関連する集合論の公理系ではうまく機能しない。
実際、X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考える事によって、宇宙から｜X｜ への単射が存在し、サイズの限界(en:Limitation of size)より、｜X｜ は真のクラスである。
フォン・ノイマンの割り当て

つづく

http://rio2016.5ch.net/test/read.cgi/math/1567930973/967

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

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

ぬこの手ぬこTOP 0.034s