La demostración del teorema emplea el teorema de la existencia de modelos dentro de la demostración de completitud para la lógica de primer orden.