Besonderhede van voorbeeld: -4372074721560039056

German

Neben logischen Axiomen benötigt Hilbert II nur die Axiome der axiomatischen Mengenlehre.

English

Beside logical ones the only axioms in Hilbert II are those of axiomatic set theory.