，可由如下规则被归纳或递回地定义：透过重复应用这三个规则，可以建构出复杂的公式来。例如：
例子.
简单的公理系统.设formula_33，这里的formula_34定义如下：在合取、析取和蕴涵（∧、∨和→）这三个运算符之中，可以将其中一个拿来当做基本的，而另两个则以其和否定（¬）来定义。实际上，所有的逻辑运算符都可以用自足算子的方式来定义。而双条件（↔）当然可由合取和薀涵来定义，亦即a ↔ b可被定义为(a → b)∧(b → a)。採用