>>506
＞ω＋１が無限列か
ω+1は順序数です

０＜ω＋１　は有限列です
０＜１＜ω＋１　は有限列です
０＜ω＜ω＋１　も有限列です
・・・

＜の左右に項が存在するなら
０＜・・・＜ω＋１　は有限列です