0. Set of symbols
1. Alphabet
Deduction system
<No formulations for this definition yet>
Also known as
Formal proof system, Formal deductive system, Proof calculus, Calculus