The first book surveying the history and ideas behind reverse mathematics Reverse mathematics is a new field that seeks to find the axioms needed to prove given theorems. In Reverse Mathematics , John Stillwell offers a historical and representative view,