reverse mathematics
noun1
A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
noun
A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
Do you accept non-essential analytics cookies?