David Hilbert w fundamentalnym dziele Podstawy geometrii (1899 r.) podał pełną aksjomatykę geometrii Euklidesa. Pokazał jednocześnie, że system samego Euklidesa (wyłożony w jego Elementach) zawierał cały szereg założeń ukrytych (implicite), nie sformułowanych dotąd ani przez samego twórcę, ani przez jego następców. Metamatematyka Podobnie Richard Dedekind oraz Giuseppe Peano dokonali aksjomatyzacji arytmetyki liczb naturalnych. Zasługą Hilberta jest też stworzenie nowego działu matematyki zwanego metamatematyką. Jest to nauka o podstawach matematyki. Można ją też nazwać nauką o matematyce. Zajmuje się ona badaniem systemów dedukcyjnych. Hilbert określił ją jako naukę o dowodzeniu matematycznym (jako teorię dowodów sformalizowanych), a samą matematykę nazwał systemem formuł dowodliwych. David Hilbert jest też twórcą pojęcia przestrzeni Hilberta. Przestrzeń…