reverse mathematics

noun

A program in mathematical logic that seeks to determine which axioms are required to prove theorems.

Meanings

nounreverse mathematics (uncountable)
  1. uncountableA program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Cite this entry
APA

reverse mathematics. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/reverse%20mathematics

MLA

“reverse mathematics.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/reverse%20mathematics. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “reverse mathematics,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/reverse%20mathematics.

Source: reverse mathematics on Wiktionary, CC BY-SA 4.0.