Introduction to Proofs with Set Theory