1Cf., e.g., P.Halmos, Naive Set Theory, D. Van Nostrand