Universal Grammar
Formulas are well-formed sequences of symbols.
Rules of well-formedness:
Proofs are well-formed sequences of formulas.