実数体の時点で既に具体性は捨ててるんだけどね
実数の構成法を思い出してみな