那么定理的模式呢？当人们看到这些的时候，逻辑是否在某种程度上脱颖而出？下图显示了第页中系统中可能存在的简单等价定理805.

并与页面进行比较805人们通常会看到，一个公理系统的约束所允许的算子形式越多，该公理系统中的等价结果就越少。

在简单公理系统的基础上可以证明的定理805黑方表示特定定理在特定公理系统中成立。一般来说，给定定理是否成立的问题是不可判定的，但这里给出的特定定理恰好足够简单，只要付出一定的努力，就可以确定地建立它们的结果。