Proof Length

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The number of inference steps in a formal derivation or proof within a specified proof system; each step is an application of a rule that produces a new formula or sequent from previous ones.