Reverse mathematics

branch of mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics

Pronunciation

Categories