Eine Anmerkung zu Gödels Komprehensionstheorem. Eduard Wette — 1971 Archiv für mathematische Logik und Grundlagenforschung