現代数学の系譜　カントル　超限集合論

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

67: 2019/10/05(土)16:08 ID:o3FGv8uB(3/4) AAS
>>63
>ペアノの公理は、集合論の公理ではなく自然数論の公理です
テキストに書いてあると思うが、ペアノの公理は素朴集合論の公理だろ？
ペアノの公理で可算無限集合Nは構成出来る。