_12可被视为是一个公理。而且，在这例子里，为了不落入含煳不清及一连串永不终止的「原始概念」之中，要不就是将formula_12的精确概念给先建立完全，要不就是得规范符号formula_14纯形式及语法的用法，只视之为一个字串，且只是由符号组成的字串。数理逻辑确实就是这么做的。其中formula_15代表以项formula_16来代换formula_17中的formula_11后所得到的公式。较不严谨地，这个例子允许我们如此陈述，若知道一特定性质formula_19对每个formula_11皆成立，且f