19/10/05 17:20:19.32 JrhjRl4x.net
>>77
補足
”アレフ0 = ω は自然数全体の濃度であり、選択公理の下で最小の無限基数である．”
なんですよね
そして、アレフ0が、可算無限集合 自然数の濃度なんですよね
URLﾘﾝｸ(konn-san.com)
集合論への招待＊
～実数直線の集合論～
石井大海
Saturday 4th June, 2016
P2
実は，集合の宇宙はこの順序数に沿ってボトムアップに構成されている，ということがわかります*2)：
*2) これは実際には von Neumann による基礎の公理のお陰で証明出来るので，Cantor らの頃の公理化されていない集合論の定理で
はありません．しかし，こうした生成的な集合観は基礎の公理が提案される以前から集合論者の脳裡にあったものです．
P3
? アレフ0 = ω は自然数全体の濃度であり、選択公理の下で最小の無限基数である．