Dedkind
Number Theory: The set of Real实数系构造:实数公理化(R, +, ×, ≥)之Field/Order/Continuity + Dedkind分割
Number Theory: The set of Real实数系构造 实数公理化(R, +, ×, ≥)之Field/Order/Continuity F(域):定义 +, ×, ≥: +: 加法的 交换律、结合律、0单位元、负元 ×: 乘法的 交换律、结合律、1单位元、逆元、乘法×对加法+的分配 ......