より形式的には、命題の有限な列 "β1..., βn" が、前提の集合 σ からの α の演繹であるとは、次が成り立つ場合である。