Zorn's lemma
Die reverse Mathematik wurde 1974 von Harvey Friedman als mathematisches Projekt aufgebracht. Die Idee dazu entstand aus Ergebnissen der Mengenlehre, unter anderem dem klassischen Theorem, dass das Auswahlaxiom und das Lemma von Zorn über der Zermelo-Fraenkel-Mengenlehre ZF äquivalent sind.