Noun
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.
Natural deduction systems resemble Hilbert-style systems in that a deduction is a finite list of formulas. Source: Internet