ガロア第一論文と乗数イデアル他関連資料スレ18 (400ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
15(1): 05/27(火)23:13 ID:mVXlvt9d(15/15) AAS
つづき
・自然数 ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
『形式的な定義 自然数の公理
以上の構成(注 ノイマン構成)は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
省28
32(1): 05/28(水)20:26 ID:UXi0kEho(1) AAS
>>15
>『{}∈{{{}}} は偽』とか、勝手な妄想でお茶沸かす。
∈の定義を書いてごらん 書ける？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.629s*