Number Theory: The set of Real实数系构造
实数公理化(R, +, ×, ≥)之Field/Order/Continuity
F(域)：定义 +, ×, ≥：
+: 加法的 交换律、结合律、0单位元、负元
×: 乘法的 交换律、结合律、1单位元、逆元、乘法×对加法+的分配律
O(序):≥:
全序性: x ≥ y OR y ≤ x 必有其一(或x>y, x==y, x<y)
对称: x ≥ y AND y ≤ x 则有 x = y
传递性: x ≥ y AND y ≥ z 则有 x ≥ z
加法+的保序性: x ≥ 0 AND y ≥ 0 则有 x+y ≥ 0
乘法×的保序性: x ≥ 0 AND y ≥ 0 则有 x×y ≥ 0
C(连续性):
Archimedes阿基米德性:
同构唯一性: (R, +，×，≥)
- Dedkind分割