Both use logic: the mechanism used to derive theorems from a set of starting assumptions. Additionally, both fields begin with axioms, which are statements that are accepted as true without proof. Also see: Mathematical debates
Category:Mathematics Category:Philosophy