Eine Art von Gleichwertigkeit zahlentheoretischer und mengentheoretischer Axiomensysteme. Walburga Rödding — 1967 Archiv für mathematische Logik und Grundlagenforschung