大家在查：递归论计算模型计算复杂性理论图论学术期刊对象语言元语言元数学形式语言地壳运动

合式公式

合式公式

合式公式（wff）的集合按如下规则递归的定义：归纳条款 I: 如果 Φ 是 wff，则 ┐ Φ 是 wff。

we... ... well formatted-- 良性格式化的 well formed formula-- 符合语法规则的公式;合适公式;合式公式 well off-- 富有的 ...