A proof (or deduction) of a formula from a set of premises is a finite sequence of formulas ending in $B$ such that each formula in the sequence is either a [[Premise|premise]], an [[Axiom|axiom]], or can be obtained from previous formulas in the sequence using an inference rule.