This is a reading course which focus on the fundamental philosophy of mathematics. We begin with the basic propositional calculus and proofs. Then the Zermelo-Fraekel axioms of set theory is studied in detail. Finally the axiom of choice and its equivalences are introduced together with their roles in undergraduate mathematics. Students should seek instructor's approval to take this course.