公式汇编用公式表达的陈述

• A statement expressed in formulas.