Les systemes axiomatiques de la théorie des ensembles. - Wang, Hao; Mc Naughton, Robert (Paris : Gauthier-Villars, Paris, 1953)