Introduction to Abstract Mathematics

I. General Class Organization

II. The nature of mathematical truth

Mathematical truth is a formalism.

Logic vs. Meta-logic

A formal logic system