(Math Foundation 笔记)1.实数公理和用公理证明1

The definition we will give for the real numbers is what is known as an axiomatic definition.——>Axioms(公理)

以下为的实数的基本性质：

以上的性质中涉及到很多二元运算以及一元运算，所以有必要说一下二元运算的性质和一元运算。

二元运算性质：加封闭和乘封闭

如果 x y a b  都属于实数这个集合 且x==a && y==b 那么则，x+y=a+b&&同时 x+y 和 a+b 也都属于实数这个集合（加封闭）

同理：x*y=a*b同时xy和ab属于实数的集合（乘封闭）