mula_19 不是合式公式的一部分：严格的说它既不属于命题演算也不属于谓词演算，而可以被认为是一个"元符号"。所以，最终 formula_2 实际上意义不多于 formula_1，因为 formula_19 符号实际上不是公式 "P(x)" 的一部分；比喻来说，它只是用来"抓住"这个公式的一个"把手"。
证明的例子.要证明： formula_23.证明：在这个证明中，DT 应用于步骤 (10)，因为被引动到十字转门的右侧（通过 DT）的公式 formula_24 不包含任何