[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
611(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/12/16(月)16:27 ID:24IgbVxn(9/20) AAS
>>604
> 証明は有限回の推論規則の適用であって、
> もちろん無限回の適用などできっこない
> 一方で仮設としての無限集合やら諸公理やらはあってもよい
> それらが矛盾をもたらさない保証はないが
> 矛盾したらしたでそのとき考えればいい
大分分ってきたね
省22
614: 2024/12/16(月)16:31 ID:KMaffHmu(6/6) AAS
>>611
>大分分ってきたね
分かってないのは童貞君だけ
>ほぼ同じだが、
なら、もう口を開かぬほうがいい
>言い換えておく
そして間違う
658(1): 2024/12/17(火)10:56 ID:4SbUqDWD(1) AAS
ついでにいうと、
>>611
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする
は大嘘で、実際は以下が正しい
"ZFC内の全ての集合について”∈-”による整礎な前順序関係を与え、整礎帰納法の適用を可能とする"
全と前、順序数に対する超限帰納法と集合に対する整礎帰納法の区別もつかんって
要するに全然分かってないってことですね
省1
666: 2024/12/17(火)11:45 ID:C4PYt54E(3/3) AAS
>>611 現代数学の童貞君曰く
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする
全順序：任意の集合a.bについて、a∈bかb∈aのいずれかが成り立つ
マジですか？童貞君
683: 2024/12/18(水)04:41 ID:Swx7Ibtu(1/5) AAS
>>681
>滑っている
童貞、滑りまくる
超限帰納法 ：整列順序（＝整礎な全順序）集合に対する帰納法
数学的帰納法：整列順序集合の一つであるN（自然数全体の集合）に対する帰納法
遺伝的有限集合全体に対する整礎帰納法：
整礎関係をもつ集合である「遺伝的有限集合の全体集合」に対する整礎帰納法
省5
684(2): 2024/12/18(水)04:52 ID:Swx7Ibtu(2/5) AAS
>>611
>正則性公理は ”∈-induction”と関係していて
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、
>超限帰納法の適用を可能とする
上記は誤り 正しいのは下記
正則性公理は ”∈-induction”と関係していて
ZFC内の全ての集合について”∈-”による整礎関係を与え、
省2
734: 2024/12/20(金)11:53 ID:nHOUNI63(1/2) AAS
>>730-731
童貞、なにいっても無駄よ
>>611
＞正則性公理は…ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする
って初歩レベルの間違いを堂々と口にしちゃったから
任意の集合aとbについて、a∈bかb∈aのどちらかが成り立つ、というのが集合全体のクラスにおける全順序関係
そんなもの成り立つわけなかろうが！ この万年高卒の大学数学童貞が
765(1): 2024/12/20(金)21:35 ID:QYRTYyDq(2/2) AAS
>>611
>ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする
なんでここ
全順序関係って書いたんだろ？
そもそも
∈は全ての集合についての順序関係じゃないのに
しかも
省1
773(1): 2024/12/21(土)07:55 ID:tCin55o6(2/5) AAS
>>771
>おサルさんの学力顕彰のために、3つスレで 次回のスレ立ての
>テンプレに入れるよ。そして、眺めてニヤリと笑うことにしよう
これは入れないの？
>>611
（引用開始）
ZFC内の全ての集合について”∈-”による整礎な全順序関係を与え、超限帰納法の適用を可能とする
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s