definable continuum
で実数体からの上射が存在するような順序数の上界を表すことがあります。もちろん選択公理がある場合にはとなってしまい面白くもおかしくもないわけですが、問題は選択公理がない場合です。特に上でがどのように振舞うかというのはよく研究されています。*1
例えばV=Lを仮定したりすると、となりが選択公理を満たしてしまうのであまり面白くありません。ですが、巨大基数の存在を仮定するとの振る舞いはとても興味深いものとなります。
濃度が絶対的でないという話がコメント欄で出ていましたが、ある意味上のというのは実数体のより絶対的な濃度を考えるということにつながっています。本物の実数を含むために不必要なものを全部そぎ落としたときにからの上射がどこまでなら存在するか、ってことなわけですから。
ZF+ADを仮定するとがWoodinになったりなど、とても重要な定義可能な基数であることが知られています。
別に「絶対的でなくてもいいじゃん」というところで止まっているわけでもなく、集合論者たちもそれなりに考えて研究しているんですよってことで。まあ、納得しない人はこんなものでは納得しないでしょうけれども。
*1:というのはを含む最小のZFのモデルです。