This course is available with permission to General Course students. The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set ...