← Back to search

Meaning of reverse mathematics | Babel Free

Noun CEFR B2

Definitions

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

uncountable

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

reverse merger reverse mermaid reverse Midas touch reverse mortgage reverse of trade reverse one-drop rule