>>96
>ペアノの公理とか無限公理とかは、要するに、
>自然数はいくらでもありますよ、
>自然数はいくらでも作れますよ、
>という公理である(笑
ペアノの公理はそうだけど無限公理はちょっと違うが