>>657
>数え終わった自然数の集合