有理数体を含むアルキメデス順序体で、連続性と同等の性質を満たすものを実数体というそれで、さっさと先に進め
それ以上は必要になったら勉強すればいい