ものの集まりとはつまり集合のことだし
ものの集まりを動く変数とはつまり集合の不定元のことだね

∀x∈N.(xは不定) ⇒ x+1∈N ∧ (x+1は不定)
であるから変数の定義に従い
xはNを動く変数 ⇒ x+1はNを動く変数
が成立

>>720
君の中では非変数なんでしょ
それで首尾一貫してれば好きにすればいいじゃん