Mathematical Proofs; A Transition to Abstract Mathematics