Unrelated to this, but one type of mathematical argument/technique I've never seen explained "for dummies" is proving the independence of an axiom from a set of axioms.