David Hilbert propuso a principios del siglo XX otro sistema axiomático, este ya completo.