En lógica matemática , una teoría es completa si es consistente y para cada fórmula cerrada en el lenguaje de la teoría, es demostrable esa fórmula o su negación . Es decir, para cada oración la teoría contiene la oración o su negación pero no ambas (es decir, cualquiera o ). Las teorías de primer orden recursivamente axiomatizables que son lo suficientemente consistentes y ricas como para permitir que se formule un razonamiento matemático general no pueden ser completas, como lo demuestra el primer teorema de incompletitud de Gödel .
Este sentido de completo es distinto de la noción de lógica completa , que afirma que para cada teoría que puede formularse en lógica, todos los enunciados semánticamente válidos son teoremas demostrables (para un sentido apropiado de "semánticamente válido"). El teorema de completitud de Gödel trata sobre este último tipo de completitud.
Las teorías completas se cierran bajo una serie de condiciones que modelan internamente el esquema T :
Los conjuntos máximos consistentes son una herramienta fundamental en la teoría de modelos de la lógica clásica y la lógica modal . Su existencia en un caso dado suele ser una consecuencia directa del lema de Zorn , basado en la idea de que una contradicción implica el uso de sólo un número finito de premisas. En el caso de la lógica modal, a la colección de conjuntos máximos consistentes que extienden una teoría T (cerrada bajo la regla de necesidad) se le puede dar la estructura de un modelo de T , llamado modelo canónico.
Algunos ejemplos de teorías completas son:
