Ω-Consistencia

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)).