>>826
君は腕立て伏せをするとき、「一回やって、あとn-1回だ」って数えてる？
俺は1,2,3,4,...,nと数え上げて、その度に腕立てするよ。
別に「一回やって、あとn-1回だ」でもいいけど、他の方法もあるってこと。
自然数を公理的に定義する場合にも
n∈Nat ⇒　n'∈Nat としても
x≠0　⇒　∃y.x=y'　としても
どっちでもいいよね。