21/06/20 14:27:08.18 1GSywnPR.net
>>529 タイポ訂正
・0<1<2<...<ω ：＝ ∀∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
↓
・0<1<2<...<ω ：＝ ∀n∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
分かると思うが（＾＾；
まあ、普通は
0<1<2<...<ω
で、簡便に済ますよね
∀n∈N 0<1<2<...<n<ω
とか
0<1<2<...<ω ：＝ lim n→∞ 0<1<2<...<n<ω(>>524)
とか
大袈裟すぎる（＾＾；