An introduction to proofs in mathematics. Fundamentals of mathematical abstraction including sets, logic, equivalence relations, and functions. Development of basic proof techniques: direct, contrapositive, existence, contradiction, and induction. Introduction to basic proofs in analysis and algebra.