reverse mathematics
A program in mathematical logic that seeks to determine which axioms are required to…A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Meaning
1 senses(uncountable)A program in mathematical logic that seeks to determine which axioms are required to prove theorems.
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable