Understanding Reverse Mathematics 📚

If you find our videos helpful you can support us by buying something from amazon.
https://www.amazon.com/?tag=wiki-audio-20

Reverse mathematics

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics.Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms.

-Video is targeted to blind users

Attribution:
Article text available under CC-BY-SA
image source in video


https://www.youtube.com/watch?v=Jk-t4wH7wEc