El texto "Grundlagen der Geometrie" ("Fundamentos de la geometría"), que Hilbert publicó en 1899, sustituye los tradicionales axiomas de Euclides por sistema formal de 21 axiomas.