reverse mathematics (English, noun)
expansion: reverse mathematics (uncountable)
Senses:
glosses: A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
tags: uncountable
Forms: