FOUNDATIONAL MATHEMATICS