>>69
>そしてNが有限集合なら最大の自然数が存在しなくてはならない道理も理解できるよな?

そんな道理はない(笑