The axiom of Fundierung and the axiom of choice. Elliott Mendelson — 1958 Archiv für mathematische Logik und Grundlagenforschung