A mathematical theory is a mathematical model of a branch of mathematics that is based on a set of axioms. It can also simultaneously be a body of knowledge (e.g., based on known axioms and definitions), and so in this sense can refer to an area of mathematical research within the established framework.[1][2]

Explanatory depth is one of the most significant theoretical virtues in mathematics. For example, set theory has the ability to systematize and explain number theory and geometry/analysis. Despite the widely logical necessity (and self-evidence) of arithmetic truths such as 1<3, 2+2=4, 6-1=5, and so on, a theory that just postulates an infinite blizzard of such truths would be inadequate. Rather an adequate theory is one in which such truths are derived from explanatorily prior axioms, such as the Peano Axioms or set theoretic axioms, which lie at the foundation of ZFC axiomatic set theory.

The singular accomplishment of axiomatic set theory is its ability to give a foundation for the derivation of the entirety of classical mathematics from a handful of axioms. The reason set theory is so prized is because of its explanatory depth. So a mathematical theory which just postulates an infinity of arithmetic truths without explanatory depth would not be a serious competitor to Peano arithmetic or Zermelo-Fraenkel set theory.[3][4]

See also edit

References edit

  1. ^ Nelson, Sam. "Theorems and Theories". www.esotericka.org. Archived from the original on 2014-08-19.
  2. ^ Chu-Carroll, Mark C. (13 March 2007). "Theorems, lemmas, and corollaries". Good math / bad math (blog).
  3. ^ Maddy, Penelope (2011). Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford University Press. p. 82.
  4. ^ Maddy, Penelope (1988). "The Journal of Symbolic Logic". Believing the Axioms II. 53 (3): 762. doi:10.2307/2274569. Retrieved 2 March 2020.

External links edit