An Introduction to Proofs with Set Theory