Frege asked about Hilbert's claim that his axiomatization provides definitions of the primitives of geometry, so that the very same sentences serve as axioms and definition. |
The axiomatization of set theory formed the foundations, mathematically, of everything else. |