Un refuerzo de la consistencia sintáctica para teorías formales de aritmética: una teoría T es ω‑consistente si no existe una fórmula φ(x) tal que T demuestre cada instancia numeral φ(0), φ(1), φ(2), ... y al mismo tiempo T demuestre ∃x ¬φ(x) (equivalente a demostrar ¬∀x φ(x)).

Principio

La ω‑consistencia evita que una teoría afirme cada instancia concreta de una propiedad y también la existencia de un contraejemplo; impide ciertos patrones infinitarios de contradicción que la mera consistencia no descarta.

Demostración

Si una teoría T prueba para cada número natural n la fórmula 'n tiene la propiedad P', pero además prueba 'existe un n sin la propiedad P', entonces T es ω‑inconsistente; las pruebas clásicas de incompletitud supusieron originalmente ω‑consistencia para derivar la indemostrabilidad de ciertas oraciones autorreferenciales.

Aplicación incorrecta

Confundir ω‑consistencia con nociones semánticas como tener el modelo estándar o con la simple consistencia; asumir ω‑consistencia sin comprobarla al aplicar argumentos de incompletitud puede invalidar las conclusiones.

Consecuencia

Que una teoría sea ω‑consistente impide un patrón de pruebas que permitiría deducir una afirmación existencial contradictoria con toda una clase de instancias probadas, reforzando la afinidad de la teoría con la interpretación esperada de los números naturales.

Inversión

ω‑inconsistencia: existe una fórmula cuyas instancias numéricas son todas demostrables mientras la teoría demuestra también una negación existencial; tal teoría puede seguir siendo (simplemente) consistente pero muestra una desarmonía patológica con la interpretación numérica pretendida.

Límite

Se aplica sobre todo a teorías que representan internamente los números naturales mediante numerales y prueban esquemas de instancias; en contextos puramente modelísticos, la noción relacionada pero distinta de ω‑modelo (un modelo cuyo universo son los naturales estándares) aborda cuestiones semánticas en lugar de sintácticas.

Tensión semántica

Tensión entre la ω‑consistencia sintáctica y la estándaridad semántica: una teoría puede ser sintácticamente ω‑consistente y aun así tener modelos no estándar, o ser semánticamente fiel a los naturales sin satisfacer la propiedad sintáctica de ω‑consistencia.

Síntesis

La ω‑consistencia es una salvaguarda sintáctica contra un patrón infinito específico de contradicciones en teorías aritméticas: garantiza que la teoría no demuestre a la vez cada instancia concreta de un predicado y la existencia de un contraejemplo, acercando así la demostrabilidad a la interpretación natural de los números.