Maths›00. General MathematicsChapter 2. Mathematical TruthOverview of truth, provability, formal systems, and independence in mathematics.