Dicha definición permitió refinar las demostraciones de consistencia y completitud semántica para la lógica de primer orden.