14.1 Arithmetization of Syntax
Encoding symbols, formulas, and proofs as natural numbers to allow arithmetic to reason about its own syntax.
Tag
Syntax
4 notes
13.1 Syntax of Proofs
Formal structure of proofs, including derivations, inference rules, axioms, and proof representations.
2.1 Terms, Predicates, Formulas
Syntax of first order logic including terms, predicate symbols, and the formation of formulas.
1.1 Syntax: Variables, Connectives
Definition of propositional variables, logical connectives, and formation rules for well formed formulas.