Axioms and the nature of proof, groups, rings, integral domains, fields, homomorphisms and isomorphisms.