We can use these axioms and the usual properties ofequality to establish additional properties of integers.
我们使用这些公理,以及方程的常见属性来构建整数其他的属性。
2
This system is self-suffient in the sense that if we wish to deduce an equality involving only some of the three functions, then we need only to make use of the corresponding axioms.