推导的。但是，找到前驱者的规则不再是可接纳的，因为没有方式来得到formula_8。可接受性的脆弱来自它被证明的方式：因为这个证明可以归纳于前提的推导的结构上，对系统的扩展向这个证明增加了新情况，而它可能不再成立。可接纳规则可以被认为是一个证明系统的定理。例如，在相继式演算中切消成立，“切”规则是可接纳的。
其他考虑.推理规则也可以用如下形式陈述：（1）某些（比如零）前提，（2）十字转门（turnstile）符号formula_9，它意味着"推出"、"证明"或"得出"，（3）一