1. von Neumann, J.: Eine Axiomatisierung der Mengenlehre. Journal für die reine und angewandte Mathematik 154, 219–240 (1925)
2. Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. In: Annals of Mathematics Studies, vol. 3, Princeton University Press, Princeton (1940)
3. Bernays, P.: Axiomatic Set Theory. Dover Publications (1958)
4. Mendelson, E.: Introduction to mathematical logic, 4th edn. Chapman & Hall, Sydney (1997)
5. Lecture Notes in Computer Science;S. Vaillant,2003