>>646
>だから全称量化された自然数に具体的な数はないよって言ってんの
あなたが何にムキになってるのかよく分からないですけど、こう言い換えたら納得します?
「点0まで移動した時点で数え終わった自然数の集合から自然数全体の集合への全単射が存在する。」