[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
731(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/03(火)20:02 ID:aFRh2zmP(1) AAS
(>>706より)
外部ﾘﾝｸ:ja.wikipedia.org
自然数
集合論において標準的となっている自然数の構成は以下の通りである。
（上記のノイマン構成法で略す）
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
省22
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s