losetorain@tg says to 電訊台 the reals can be well-ordered if you just make 0 smaller than everything else and put it in every set