19/01/18 03:21:55.21 CSqUHsTl.net
>>632
ペアノの公理を満たすものであれば何でもいいと言うことですかな。
でも数理論理学以外の数学ってZFCの基に議論が成り立っている(はず？)であり、
ZFCの公理から自然数はn+1=n∪{n}として構成されているのだから、
わざわざ同型な他の対象をもってして自然数として考えるというのは不自然だと思います。
19/01/18 03:21:55.21 CSqUHsTl.net
>>632
ペアノの公理を満たすものであれば何でもいいと言うことですかな。
でも数理論理学以外の数学ってZFCの基に議論が成り立っている(はず？)であり、
ZFCの公理から自然数はn+1=n∪{n}として構成されているのだから、
わざわざ同型な他の対象をもってして自然数として考えるというのは不自然だと思います。