20/03/24 15:36:22 lsxpgoVj.net
N：自然数全体
とする
このとき
∀n∈Nに対して
a=1
b=2
c=3
……
と選ぶことはできない
また
n_1=1
n_2=2
……
と書くとこれは別の命題∀n(∀k(n_k=k))であるという指摘があったが
これは指摘に該当しない
なぜならその思考がコンピュータ的であるからだ
実際
すべての自然数の元に番号を付けた場合と文字を変えた場合が異なるわけがない
すなわち
a=n_1=1
b=n_2=2
c=n_3=3
……
という意味である