21/06/20 14:23:15.60 1GSywnPR.net
>>524
補足
・あるいは、記号∀を使うのもありか
・0<1<2<...<ω ：＝ ∀∈N 0<1<2<...<n<ω (ここに、Nは自然数の集合)
こうすれば、”n<ω”を生かしつつ、ｎは全ての自然数を走ることになる
（余談だが、∀は、一般には"all"を意味すると言われるが、"any"と解しても、意味は同じ。
なお、英文法としては、普通は"all"は複数扱い、"any"は単数扱い。但し、all＋物質名詞など不可算名詞では単数扱いになる（＾＾ ）