Una fórmula lógica de primer orden es llamada "universalmente válida" o "lógicamente válida" si se deduce de los axiomas del cálculo de primer orden.