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