加法公式為加數+加數=和、和 - 一個加數=另一個加數,交換律為a+b=b+a減法公式為被減數-減數=差、差+減數=被減數、被減數-差=減數。
公式是相對於特定語言而定義的,也就是説,一組常量符號、函數符號和關係符號,這裏的每個函數和關係符號都帶有一個元數來指示它所接受的參數的數目。