現代数学の系譜古典ガロア理論を読む39

現代数学の系譜古典ガロア理論を読む39at MATH

現代数学の系譜古典ガロア理論を読む39 - 暇つぶし2ch263:ﾍペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。例えば、0 := {}, suc(a) := {a} と定義したならば、略と非常に単純な自然数になる。また、0 := {{}}, suc(a) := a ∪ {a} と定義したならば、略のような多少複雑な自然数になる。 (引用終り)

次ページ

続きを表示

1を表示