ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols
▼	Alphabet

Definition D2960

Deduction system

Also known as

Formal proof system, Formal deductive system, Proof calculus, Calculus