Semantics

2.2 Formal Systems and Semantics

Syntax, axioms, inference rules, and the semantic interpretation of mathematical languages.

Distinction between semantic truth and syntactic provability, with examples and limits.

Truth values, valuations, and evaluation of propositional formulas using truth tables.