Some impredicative definitions in the axiomatic set theory
Volume 37 / 1950
Fundamenta Mathematicae 37 (1950), 111-124
DOI: 10.4064/fm-37-1-111-124