Introduction to Proof in Abstract Mathematics