Provability

2.1 Truth vs Provability

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

Overview of truth, provability, formal systems, and independence in mathematics.