>>594
>This is different from ω because in ω only 0 does not have a direct predecessor while in ω + ω the two elements 0 and 0' do not have direct predecessors.
しっかり書いてありますね 。0'の前者は無いと。英語読めますか？

つまり
>0 < 1 < 2 < 3 < ... < 0' < 1' < 2' < ...
なる表記は＜列ではないと。＜列ならば二項関係＜の定義に従い < 0' の左隣が存在する必要がありますから。

コピペバカには理解不能かな？