MAT 230--Sets and Proofs