En 1929, Kurt Gödel demostró la completitud semántica de la lógica de primer orden.