11. The finite axiomatization presented below does not necessarily resemble exactly any NBG axiomatization in print. 12. The finite axiomatization presented below does not necessarily resemble exactly any NBG axiomatization in print. 13. The actual axioms of the axiomatization are obtained by setting the metavariables to specific values. 14. In fact this is the traditional axiomatization of Boolean algebra as a complemented distributive lattice. 15. For his thesis, he chose to produce an axiomatization of Cantor's set theory. 16. It can be axiomatized by adding the following axioms to a standard axiomatization of classical propositional logic: 17. Zermelo published a second-order axiomatization in 1930 and proved several categoricity results in that context. 18. A major early proponent of formalism was David Hilbert, whose consistent axiomatization of all of mathematics. 19. After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. 20. After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics.
