natural deduction
noun1
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.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.