[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
574(1): １３２人目の素数さん [] 2025/06/15(日) 16:59:33.30 ID:4G/uUJn/(2/2) AAS
>>571
＞Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである
＞とするのは素朴ではあるが、問題がある
＞つまり、問題は、無限公理により存在する集合全て "∀"が、
＞きちんと定義できているのか？だ
Aは存在する集合を任意に（全て "∀"）選んだものである
集合は集合論のすべての公理によって定義されている
どう問題がある、と？ 矛盾が生じるかもしれない、と？
矛盾が生じるかもしれないね
だって矛盾がないなんて証明できないから
で、君が今ここでそれを証明してくれるのかい？
大学１年の微分積分と線形代数の理論が何一つわからず
ものの見事に落ちこぼれたクソ工学部の学生の君が？
公理的集合論の絶対的無矛盾性証明？
クルト・ゲーデルを真正面から否定するとは
ものすごいトンデモだね（嘲）
579(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/06/15(日) 21:42:29.03 ID:lv2xCBEK(10/12) AAS
>>574
>Aは存在する集合を任意に（全て "∀"）選んだものである
>集合は集合論のすべての公理によって定義されている
>どう問題がある、と？ 矛盾が生じるかもしれない、と？
ふっふ、ほっほ
公理的集合論は、おもちゃのレゴみたいなものと思いなよ
個々の公理とは、レゴのブロック部品であって
公理的集合論とは、あたかも レゴのブロック部品を使って 集合を組み立てる
そうして いろんなオモチャを組み立てることができるが如し
たまに、歓迎されない 非可測集合とか バナッハタルスキーとかが、出現するけれども
取りあえずは 自然数から実数などができて 解析までは問題なく 数学の展開が可能
のみならず、殆どの20世紀数学は可能だという
（おっと、フェルマーがZFC内かどうか分らんと今年の数学セミナー記事があった。けど、IUT同様に ZFCGなら可だろう ；ｐ）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s