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

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

現代数学の系譜　カントル　超限集合論 - 暇つぶし2ch664:現代数学の系譜雑談
19/12/05 16:48:55.02 O0aFD/lt.net
>>603 補足
Zermelo 構成であれノイマン構成であれ
自然数の形式的な定義ができれば
あとは加法と乗法の演算だが、
そのやり方は下記にある
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
3 形式的な定義
3.1 自然数の公理
3.2 加法と乗法
3.3 順序
3.4 除法

次ページ