Neben logischen Axiomen benötigt HilbertII nur die Axiome der axiomatischen Mengenlehre. Die Axiome aller anderen Theorien können, wie in der Mathematik üblich, als einfache Definitionen von Prädikatskonstanten ausgedrückt werden. ###>Beside logical ones the only axioms in Hilbert II are those of axiomatic set theory. As usual for mathematics the axioms of all other theories could be expressed as simple predicate constant definitions.