▾ Set of symbols
▾ Alphabet
▾ Deduction system
Theory
<No formulations for this definition yet>
Also known as
Formal theory