Inequivalence of the fragments of new foundations. Urs Oswald — 1981 Archiv für mathematische Logik und Grundlagenforschung