Ω-Consistance

Renforcement de la consistance syntaxique pour des théories formelles d'arithmétique : une théorie T est ω‑consistante si il n'existe pas de formule φ(x) telle que T prouve chaque instance φ(0), φ(1), φ(2), ... et, en même temps, T prouve ∃x ¬φ(x) (équivalente à T prouve ¬∀x φ(x)).