Les systèmes axiomatiques de la théorie des ensembles - Wang, Hao 1921-1995; MacNaughton, Robert (Collection de logique mathématique, 1953)