お前らの言っていることは要するに
Z：整数全体
N：自然数全体
∃n∈N
Z/nZ：Zの剰余類群
とする
このときZ/nZが有限集合(有限表示)であること
を言っているに過ぎない
これは自然数を数えきれることと何も関係がない