>>79
>{0,1,2,...,ω}に全順序関係「＜」が定まってるとも普通に読めるよ”（下記）
「{0,1,2,...,ω}に全順序関係<が存在するなら、{0,1,2,...,ω} の元すべてからなる<無限上昇列 0<1<…<ω が存在する」
が未証明なので証明して下さい。