Examines set theory, logic, number theory, and combinatorics. The emphasis will be on aspects of these topics from discrete mathematics that provide a foundation or framework for mathematical theory. The course is at a level to serve as an introduction to mathematical proof.