En términos actuales, estos postulados fueron enunciados por Hilbert en sus axiomas.