>>531
定義不能、ってことじゃないの? あるいは、ペアノの公理系を満足する
何物か。おれたちが素朴に心の中に持っている自然数も、そのひとつ。

>>513
重箱隅だが、たんなる有理数列じゃなく、コーシー列だね。