Meanings
- uncountableA program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Cite this entry
reverse mathematics. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/reverse%20mathematics
“reverse mathematics.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/reverse%20mathematics. Accessed November 2, 2026.
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.