限定算術の研究を見てると自然数も人為的なものだと考えた方が良いと思う。