そういえばこの順序数の存在を仮定すれば連続体仮説が成り立つみたいな順序数はあるの?