[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
81: 2024/11/18(月)07:03:55.16 ID:aerfUeO/(1/2) AAS
>>1
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず
>>79-80が、斎藤 毅先生の一つの回答だね
・ブルバキ Eléments （数学原論）は、”抽象数学のことばで数学全体を集合論の上に基礎づけて体系的に展開した記念碑的な本”
（だが、決して全て ZFC公理まで遡っているわけではない。ここは重要ポイントだね）
・”圏論に基礎としての役割を与えるかどうかブルバキの中で確執があったらしい
論争に敗れた方はブルバキを去り 勝った方も旧い世代として程なくブルバキを離れた”
・斎藤 毅氏、”数学の一体性：圏論の視点から見れば幾何と代数のように異なる分野を直接結びつける関手として実現している”
これが、斎藤 毅先生の答え
省3
168: 2024/12/03(火)14:32:45.16 ID:kd9bIRJF(2/8) AAS
存在例化は（一階）述語論理の推論規則
あらゆる（一階）述語論理上の公理系で使える
そんなの常識 知らん奴は論理知らんド…
238(1): 2024/12/04(水)19:54:48.16 ID:U5RJOIS1(11/17) AAS
>>236 補足
あなたは、存在例化で
存在しか言えないものが
例化で、具体化出来ると言ったよね
存在しか言えないものが
具体化出来るってどうなのw
265(1): 2024/12/05(木)10:00:50.16 ID:ydaej6y9(2/14) AAS
>>264
>ほとんど名前付けてるだけ
重要なのは存在するもののうちのひとつを固定して証明の中で使用できること
>ZFCの公理系とは抵触しないそれなら許容されるよ
ZFC公理系に抵触しないから許容されるのではなく、ZFC集合論が一階述語論理上に実装されているから許容される
君はZFC集合論と一階述語論理の関係性をまったく誤解している それは君の勝手だけど、分かってる風に発言するのは勝手じゃ済まない
279(1): 2024/12/05(木)16:47:09.16 ID:tofiE6Vv(7/12) AAS
同値類で、ある一つの同値類の集合の濃度が、連続無限
同値類の代表は、どれでも一つ
二人で一致するわけ無いwww
392(1): 2024/12/08(日)09:35:50.16 ID:6wmDPA6U(5/12) AAS
>>390
>もう回答したよ >>384より
嘘吐くのはやめてもらえませんか？
>笑えますｗｗｗ
笑って誤魔化すのはやめてもらえませんか？
嘘でない・誤魔化してないと言うなら、>>384の何行目が制限されている論理式か答えて下さい
600: 2024/12/16(月)13:57:37.16 ID:uivJWWfB(3/3) AAS
>>599の続き
フォン・ノイマンは基準を導入した
クラスが集合として大きすぎるのは、クラスからすべての集合のクラス V への全射が存在するときで、かつそのときに限る。
フォン・ノイマンはこのような大きなクラスを元に持つ任意のクラスを許可しないことで、集合論的パラドックスを回避できることを知っていた。
この制限と彼の基準を組み合わせることで、サイズ制限公理を得た
クラス C はどのクラスの元でもないのは、 C から V への全射が存在するとき、またそのときに限る。
762: 2024/12/20(金)21:21:40.16 ID:t2An/AAh(9/12) AAS
口喧嘩？何を馬鹿なことを言ってるんですか？
あなたの間違いの指摘ですよ
926: 2024/12/22(日)09:04:31.16 ID:RtBUeEJh(15/46) AAS
> 条件節Ｐ：可算無限のXn | n∈N
> Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数
はい、間違い
「Xn は、箱に任意の実数r を入れる確率変数」にしとけばいいのに
「箱を開けずに的中する」とか●●語を書くから負ける
●●は何を書くべきか何を書いたらいけないかが分からない
> 明らかに ∀n P(Xn)＝0 (的中確率0)
これまた、間違い
∀n∀r P(Xn=r)＝0 なら式として意味があるが
∀n P(Xn)＝0では そもそも式として無意味
省1
942(1): 2024/12/22(日)12:55:54.16 ID:kZPpOg3V(8/16) AAS
>>941
（引用開始）
条件節Ｐ：可算無限のXn | n∈N
Xn は、箱に任意の実数r を入れて 箱を開けずに的中する 確率変数
明らかに ∀n P(Xn)＝0 (的中確率0)
結論節Ｑ：時枝トリックにより
あるn ∃n P(Xn)＝99/100 (的中確率99/100)
（引用終了）
あなた記事を読めてませんね
そんな読解力では高校生に笑われますよ
997: 2024/12/23(月)08:08:53.16 ID:XUEChow2(4/5) AAS
>>995
> そもそも、5ch 便所板でしょ？
そもそも、君は便所のダンゴムシってことか 童貞君
やっぱり、続きは雑談スレ
君は書かなくていいよ
おかしなHNもトリップもコピペも謎の番号もキモチワルイだけだから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.947s*