natural deduction
Noun
Meaning
natural deduction (uncountable)
A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.
Examples
Natural deduction systems resemble Hilbert-style systems in that a deduction is a finite list of formulas.