elementary formal system

• 初等形式系统

elementary formal system的用法和样例：

例句

1. The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
   算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。