| 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.
|
