ちょっと恥ずかしい話

つい最近になるまで、「全ての可算全順序構造は有理数体に埋め込める」っていうのに気がついていませんでした。やっぱり実数って不気味偉大だ。というわけで、ωより大きい順序数がまるっきり不自然というわけではないのですが。…そんなことは証明論とかを勉強した人なら私よりよっぽどわかっているかと思いますが。