[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
578(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/06/15(日) 21:38:55.71 ID:lv2xCBEK(9/12) AAS
>>573
>>ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである
>まずここが間違い。
>任意に選んだものとは「いずれか一つ」であって「全て」ではない。
ふっふ、ほっほ 下記を百回音読してね
（余談ながら、"∀"は英語で all もあり anyでもある）
https://manabitimes.jp/math/1274
高校数学の美しい物語
全称記号（任意の〜）と存在記号（ある〜）について 2021/03/07
「任意の」とは「全ての」という意味です。
∀ という記号を使って表すことがあります。
この記事では，数学でよく使う「任意の」と「ある」という言葉，そしてそれらを表す記号
∀ ，∃ について解説します。
「任意の」の意味と記号
「任意の」とは「全ての」という意味です。例えば，
(引用終り)
>>問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ
>つまり無限公理は公理に非ずと言いたいの？ だって無限公理がどんな集合の存在を謳ってるか不明なんでしょ？ 「なんか分からん集合が存在する」は命題になり得ないよね？ よって公理になり得ないよね？
ふっふ、ほっほ 下記 無限公理を百回音読してね
即ち、無限公理が主張する集合は、有限集合でない＝真の無限集合 の”存在”を保証するのだが
その集合（下記ではA）の性質は一切規定されていない。一方で我々が欲しいのは、まず最小の無限集合たる 自然数Nだ
だが、”自然数”という用語を用いて 無限集合Nを規定すことは、公理的集合論としてはまずい
公理的集合論として、そこをひと工夫したのが、>>569 筑波大 坪井明人 PDF P9だろう
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
略
解釈と帰結
上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
まず定義中の集合
A は以下の性質を満たすことを確認できる。
略
従って A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。
上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
580(1): １３２人目の素数さん [] 2025/06/15(日) 22:13:43.05 ID:Eap/oGjV(9/13) AAS
>>578
>全称記号（任意の〜）と存在記号（ある〜）について 2021/03/07
>「任意の」とは「全ての」という意味です。
それは述語論理の全称記号ね。
>ここでAは無限公理により存在する集合を任意に選んだものである
これ、自然言語だから君の主張は当たらない。
で、
>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
においてAはひとつの集合を表しているから、「ここでAは無限公理により存在する集合を『全て』選んだものである」では、意味が通らないから誤読。
国語からやり直し。
582: １３２人目の素数さん [] 2025/06/15(日) 22:34:14.23 ID:Eap/oGjV(10/13) AAS
>>578
>無限公理が主張する集合は、有限集合でない＝真の無限集合 の”存在”を保証するのだが
>その集合（下記ではA）の性質は一切規定されていない。
はい、大間違い。
無限公理：∃A({}∈A∧∀x∈A(x∪{x}∈A))
の通り、空集合を元として持ち、任意の元xに対してx∪{x}も元として持つ集合と規定されている。
君、論理式読めないの？
>一方で我々が欲しいのは、まず最小の無限集合たる 自然数Nだ
>だが、”自然数”という用語を用いて 無限集合Nを規定すことは、公理的集合論としてはまずい
まずいも何もZF公理系において自然数は規定されていないのだから構成が必要だろｗ
>公理的集合論として、そこをひと工夫したのが、>>569 筑波大 坪井明人 PDF P9だろう
ひと工夫も何も一般的な構成と実質的に同じ。単に"∩"を用いて表現しているか否かの違いだけ。
分かってる風な口きかない方が良いよ 恥かくだけだから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s