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

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

現代数学の系譜　カントル　超限集合論 - 暇つぶし2ch462:自然数 (抜粋) 形式的な定義自然数の公理集合論において標準的となっている自然数の構成は以下の通りである。空集合を 0 と定義する。 0:=Φ ={} 任意の集合 a の後者は a と {a} の合併集合として定義される。 suc (a):=a ∪ {a} 0 を含み後者関数について閉じている集合のひとつを M とする。自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる。 (引用終り) 以上

次ページ

続きを表示

1を表示