>>763
すべての集合は有限集合か無限集合のどちらかであり、
どちらでもある集合、や、どちらでもない集合は存在しない。
これは理解している？

お前は無限集合の存在を否定した
なら有限集合しか存在しないことになる
これは理解している？

自然数が有限個しか無いなら、Nmax なる最大自然数が存在することになる
これは理解している？

理解できないなら自分で勉強してね
理解できるようになったらまたおいで