简单的公理系统.设formula_33，这里的formula_34定义如下：在合取、析取和蕴涵（∧、∨和→）这三个运算符之中，可以将其中一个拿来当做基本的，而另两个则以其和否定（¬）来定义。实际上，所有的逻辑运算符都可以用自足算子的方式来定义。而双条件（↔）当然可由合取和薀涵来定义，亦即a ↔ b可被定义为(a → b)∧(b → a)。採用否定和薀涵做为命题演算的两个基本运算，相当于把omega集formula_37划分如下：有一个公理系统是扬·武卡谢维奇所发现的，而