Una teoría de primer orden es completa si para toda sentencia en su lenguaje, o bien la sentencia o su negación es consecuencia de la teoría; equivalentemente, todos los modelos de la teoría son elementarmente equivalentes y la teoría decide todas las sentencias del lenguaje.

Principio

La completitud de una teoría elimina la indecisión proposicional en su lenguaje: ninguna sentencia queda indeterminada por los axiomas, de modo que la teoría divide el espacio de sentencias en las que afirma y las que niega, proporcionando la máxima determinación sintáctica dado el lenguaje.

Demostración

La teoría de órdenes totales densos sin extremos es completa: cualquier sentencia en el lenguaje de órdenes es demostrable o refutable a partir de los axiomas, de modo que todos los órdenes densos y contables sin extremos son elementarmente equivalentes. Otro ejemplo es la teoría completa de cuerpos algebraicamente cerrados de característica fijada bajo el control apropiado de parámetros.

Aplicación incorrecta

Confundir completitud de una teoría con decidibilidad o con saturación de modelos: una teoría puede ser completa pero indecidible (no existe algoritmo para decidir pertenencia), y la completitud no garantiza que los modelos realicen todos los tipos posibles (saturación); confundir estas nociones conduce a expectativas incorrectas sobre cálculo o riqueza de modelos.

Consecuencia

Una teoría completa ofrece una clasificación nítida de sentencias e implica que dos modelos que satisfacen la teoría satisfacen exactamente las mismas sentencias de primer orden; esto facilita la transferencia de propiedades de primer orden y simplifica problemas de clasificación centrados en la equivalencia elemental.

Inversión

Una teoría incompleta deja sentencias ni demostrables ni refutables, produciendo distinciones no triviales entre modelos (no equivalencia elemental) y permitiendo extensiones independientes o diferentes completaciones; la incompletitud es un recurso para construir modelos diversos y capturar fenómenos subespecificados.

Límite

La completitud es relativa al lenguaje y al conjunto de axiomas elegidos: ampliar el lenguaje o debilitar/fortalecer los axiomas puede romper o crear la completitud; es estrictamente sintáctica/semántica en lógica de primer orden y no aborda por sí misma la expresividad de orden superior ni la decidibilidad metateórica.

Tensión semántica

Tensión entre completitud y decidibilidad (verificación algorítmica): la completitud asegura que toda sentencia es decidida semánticamente por la teoría pero no garantiza un procedimiento efectivo para decidir pertenencia; además, la completitud puede entrar en conflicto con la flexibilidad necesaria para ciertas construcciones de modelos.

Síntesis

Una teoría completa no deja ninguna sentencia de primer orden sin decidir: proporciona comportamiento elemental uniforme en sus modelos y da la máxima determinación sintáctica dentro del lenguaje elegido, manteniéndose distinguida de la decidibilidad algorítmica y de las propiedades de saturación de modelos.