>>167
＞nがどんな数よりも大きい何かになることはない

nを{1,…,n}と考えると、ωは存在しえない、と誤解する

nは{0,…,n-1}と考えると、
ωは、自然数全体の集合であって
その中にω自身に当たる最大元が存在する必要はない
とわかる

つまり
「ω={1,…,ω}にならないから、ωは存在しない」
とかいう言いがかりは抹殺される

わ・か・る・か？