>>19
実数の方が加算な順序構造よりも多い？　っていうお話。