MATH 301 – ON SOLID GROUND: SETS AND PROOF