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