This document provides an introduction to abstract algebra and proofs. It discusses how abstract mathematics uses logical arguments and proofs rather than experiments. A proof is a convincing argument that shows a statement is true or false. The document provides examples of statements and outlines what is needed in a proof, including enough detail to convince the intended audience. It also introduces some concepts like axioms, consistency, and mathematical structures that are important foundations for abstract algebra.