結論を言えばどこまでも大きな可算順序数を表現できる