We can use these axioms and the usual properties of equality to establish additional properties of integers.

我们使用这些公理，以及方程的常见属性来构建整数其他的属性。

youdao

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.

此外，本系统中的各组原始公理还是自足的，即如想推出只含某些函数符号的永真公式时只须使用相应的公理便成。

youdao