もうこの際だから、実数が全順序集合であることも否定しようぜ。