A formal introduction to the language and culture of mathematics. Students will learn how to rigorously think about mathematics and write mathematical proofs. Topics covered include: propositional logic, set theory, cardinality, number theory, and various number systems.