[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
63(1): 2019/10/05(土)15:58 ID:kZwmbLNI(28/44) AAS
>>56
＞可算無限集合Nの存在性の保証はペアノの公理で済む。
これ、誤りですね
自然数全体の集合は可算無限集合ですから
そしてまさにその集合の存在を認めるのが無限公理
ペアノの公理は、集合論の公理ではなく自然数論の公理です
つまり自然数論では対象は自然数しかないのですが
省1
67: 2019/10/05(土)16:08 ID:o3FGv8uB(3/4) AAS
>>63
>ペアノの公理は、集合論の公理ではなく自然数論の公理です
テキストに書いてあると思うが、ペアノの公理は素朴集合論の公理だろ？
ペアノの公理で可算無限集合Nは構成出来る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s