>>627
>自然数は有限性の公理を満たす順序数

有限性の公理、とは具体的に何?