Reverse Mathematics is a subfield of Computability Theory and mathematical logic concerned with one main question: ``What are the necessary axioms for mathematics?" Reverse Mathematics allows us to characterize the logical ...