Dictionary

Words, grammatical forms and meanings linked to the ontology.

reverse mathematics en · NOUN

Meanings

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