As he put it: “Mathematics is a formal system of logic, built on axioms and definitions ... mathematical logic has been used to support arguments for God's existence, citing previous attempts ...