formalisable的意思|示意
美 / /
英 / /
adj. 可正式化的,可形式化的(同 formalizable)