Reverse Mathematics (RM) toont het opmerkelijke fenomeen dat stellingen uit de gewone/alledaagse wiskunde in maar vijf klassen vallen, terwijl er oneindige veel verschillende klassen zijn in de logica. Mijn project analyseert RM waar gelijkheid = is vervangen door $\approx$, gelijkheid op infinitesimalen uit de nietstandaard analyse. Er zijn toepassingen in de fysica en wetenschapsfilosofie.