>>440
>設定は自由なんですよね？
はい。
命題が成り立たないような設定にするのも自由、その時は成り立たないというだけの話。

「数えきれる」という命題が成立するには数え方はひとつあれば十分。
逆に言えば、命題が成立しない数え方の存在を示しても命題の不成立を示せない。