例えば論理式(wff;well-founded formula)は次のように定義される: