「任意の集合に整列順序が存在するなら任意の集合に順序同型な順序数が存在する」
これって意義が無いどころか、集合論の宇宙を構成するためのバックボーンになる大いに意義ある命題だと思うけどなぁ 意義が無いって言われちゃお手上げだね