できない方の証明は難しいしできそうにないわな
ωの多項式で書ける順序数→可算
は明らかだけど逆は無理な希ガス