## [Teoría Completa](/es/node/61441) Definición 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 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 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 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 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 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 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 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 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.