- 835 名前：現代数学の系譜 雑談 [2025/06/30(月) 20:54:20.25 ID:r1xbZuBJ.net]
- >>781
>>公理的集合論でも無限公理を認める立場では、無限集合は含む
>はい、早速大間違い。
>無限公理が存在を謳う集合は元として無限集合を必ず含むとは言えません。
基礎論ド素人は、これだから・・ｗ ；ｐ）
”含む”には、脊髄反射で「元として含む」とバカ発言
”含む”には、もう一つ 部分集合の意味で、含むがあるのです
下記の通りです
基礎論ド素人は、それを知らないｗ ；ｐ）
実際、下記の無限公理＆Axiom of infinity Extracting the natural numbers from the infinite set
を 百回音読して （＾＾
(参考)
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
解釈と帰結
上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
まず定義中の集合
A は以下の性質を満たすことを確認できる。
略
従って
A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。
上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
https://en.wikipedia.org/wiki/Axiom_of_infinity
Axiom of infinity
Extracting the natural numbers from the infinite set
|
 |
