格式良好的公式

ZFC的“可拓公理”传达了这样的思想，即在朴素集理论中，集合完全由它的成员决定。应该指出的是，这不仅是平等的逻辑必要属性，而且是关于成员资格的假设……

应被视为结构良好的公式(句子或有意义的表达)的表达式，在机械上适用，从这个意义上说，机器可以检查候选人是否满足要求该规范通常包含三个部分:(1)机械地给出的基本符号(基本单位)列表，(2)这些符号的特定组合，单独的…

是谓词演算的WFF。这样的wff被称为原子公式，其中的谓词变量被称为度n,如果n是它后面单独变量的数量。谓词变量的程度有时是…

它们通常被称为格式良好的公式(wffs)。指定这一点的规则称为形成规则。从直观的角度来看，PC的wff应该是PC符号的那些序列，根据上面给出的解释，这些序列是有意义的并且是明确的;……