加法公式和减法公式

加法公式为加数+加数=和、和 - 一个加数=另一个加数，交换律为a+b=b+a；减法公式为被减数-减数=差、差+减数=被减数、被减数-差=减数。
公式是相对于特定语言而定义的，也就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数来指示它所接受的参数的数目。