reverse mathematics
branch of mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous