よくわかんないけどωが無限降鎖列を持つかという問題なら普通の集合論の教科書に出てくるωが無限降鎖列持つかどうか議論したらいいんじゃないの？
わたし参加する気ないけど。