Axiomatizing mathematical theories: Multiplication