En 1899, David Hilbert reformula los axiomas de la geometría, y también explica los conceptos que Euclides dejó implícitos, por ejemplo, Euclides no dice que hay al menos tres puntos en el plano, o que hay al menos un punto en el plano que no pertenece a la línea, etc.