来说，一个公理通常假定是一个单一子句，但是实际上你可以指定生成一个公理的无限集合的模式，它浅薄的有着和推理规则有一样的形式。或者用更少的技术术语：规则是关于系统的陈述，公理是系统内的陈述。例如：在证明论中，推理规则在逻辑演算比如相继式演算和自然演绎的规定中扮演了关键角色。