[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
9: 132人目の素数さん [] 2025/02/01(土) 08:50:14.05 ID:lDxwqd7y つづき あほサルの続き さて 『なぜ、ZFC公理まで遡らなくても数学が出来るの?』スレより itest.5ch.net/rio2016/test/read.cgi/math/1731415731/771 2024/12/21 おサルさん 笑えるよ >>684-686 >>689 (引用開始) 正則性公理は ”∈-induction”と関係していて ZFC内の全ての集合について”∈-”による整礎関係を与え、 ∈に関する整礎帰納法である”∈-induction”の適用を可能とする 全順序とか余計な一言を書いたせいで大恥かいたな 高卒童貞 正則性公理は∈
を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない。 また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。 >正則性公理は ”∈-induction”と関係していて >ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え は大間違い >また…推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない。 ヌォォォォ すまん・・・OTL 工学部卒の自己愛童貞と違うので土下座で謝罪 (引用終り) オレは、ここの次スレを立てることはしないが 自分
の立てたスレが、数学板に3つある おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう 『正則性公理は∈を整礎関係たらしめると同時に反射律 a∈a を否定するため順序関係たらしめない』 か。妄言である! 数学科オチコボレさんだってねw ガッハハww (引用終り) ・整列集合 ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 『(選択公理に同値な)整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの
補題とも同値である』 『実数からなる集合 正の実数全体の成す集合 R+ に通常の大小関係 ≤ を考えたものは整列順序ではない。例えば開区間 (0, 1) は最小元を持たない。一方、選択公理を含む集合論の ZFC 公理系からは、実数全体の成す集合 R 上の整列順序が存在することが示せる。しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。ただし、R 上の定義可能な整列順序の存在は ZFC と(相対的に)無矛盾である。例えば V=L は ZFC と(相対的に)無矛盾であり、ZFC+V=L ではある特
定の論理式が R(実際には任意の集合)を整列順序付けることが従う。』 つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/9
10: 132人目の素数さん [] 2025/02/01(土) 08:50:38.73 ID:lDxwqd7y つづき ・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 『形式的な定義 自然数の公理 以上の構成(注 ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。 例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に
単純な自然数になる』 ・0<1<2<3<・・・ {}<{{}}<{{{}}}<{{{{}}}}<・・・ ここで {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ と書ける 何が言いたいか? {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を逆に辿れば {}<{{}}<{{{}}}<{{{{}}}}<・・・ となり 0<1<2<3<・・・ となる ・つまり、{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ において ∈を<に書き換える そうして、{}→0、{{}}→1、{{{}}}→2、{{{{}}}}→3、・・・ と順序数の背番号がついていると思え あるいは、例えば {{{}}}→2 ならば、括弧{}の多重度を基準に整列し
ていると考えれば良い(括弧{}の多重度-1が、順序数に相当している) ・このように、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係<に置き換えて {}<{{}}<{{{}}}<{{{{}}}}<・・・ として、整列集合と考えることができる(整列可能定理の主張はこれ) ・おサルさん、なにをとち狂ったか、列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ が、整列していることを否定する 上記『{}∈{{{}}} は偽』とか、勝手な妄想を沸かす。ほんと、エンタの王で笑いを取る名人だね 私には、単なるアホとしか思えないがw ;p) 以上 あと <乗数イデアル関
連(含む層)>の話や 文学論、囲碁の話もあります これも、5chらしくて良いと思いますw テンプレは、以上です http://rio2016.5ch.net/test/read.cgi/math/1738367013/10
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 992 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.011s