英语语法分析

formalizable

adj．可形式化的：指一个概念、理论或系统可以用形式化的方法（如数学或逻辑）来表示和分析。

例句

The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.

算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。