A statement, especially an equation, of a fact, rule, principle, or other logical relation.

• 公式，程式表示普遍事实、规律、法则或其它逻辑联系的陈述，尤为一等式