Вещественные числа

Основные свойства вещественных чисел.

1. Если $a>b$ и $b>c$ $\Rightarrow$ $a>c$; если $a=b$ и $b=c$ $\Rightarrow$ $a=c$.
2. $a+b=b+a$ .
3. $(a+b)+c=a+(b+c)$ .
4. Для $\forall$ $a,b$ $\exists$ ! $c\in R$: $a+b=c$.
5. $a+0=a$.
6. $a*1=1*a=a$ .
7. $a+0=0+a=a$ .
8. Для $\forall$ $a$ $\exists$ ! $(-a)\in R$: $a+(-a)=0$ .
9. Для $\forall$ $a$ $\exists$ ! $a'$: $a*a'=1$ .
10. $a*b=b*a$ .
11. $(a*b)*c=a*(b*c)$ .
12. Для $\forall$ $a,b$ $\exists$ ! $c\in R$: $a*b=c$ .
13. $(a+b)*c=a*c+b*c$ .
14. Если $a>b\Rightarrow a+c>b+c$ .
15. Если $a>b,c>0\Rightarrow a*c>b*c$ .