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

Principe

La ω‑consistance exclut qu'une théorie affirme chaque instance concrète d'une propriété tout en affirmant l'existence d'un contre‑exemple ; elle empêche certains types de contradiction infinitaires que la simple consistance ne bannit pas.

Démonstration

Si une théorie T prouve pour chaque entier n la formule « n a la propriété P », mais prouve aussi « il existe un n sans la propriété P », alors T est ω‑inconsistante ; les démonstrations classiques du théorème d'incomplétude supposaient initialement l'ω‑consistance pour obtenir l'indémontrabilité de certaines phrases autoréférentielles.

Mauvaise application

Confondre ω‑consistance avec des notions sémantiques comme l'existence du modèle standard ou avec la simple consistance ; supposer ω‑consistance sans vérification en appliquant des raisonnements d'incomplétude peut invalider les conclusions.

Conséquence

Qu'une théorie soit ω‑consistante exclut un schéma particulier de preuves permettant de déduire une assertion existentielle contradictoire avec une classe entière d'instances prouvées, renforçant la concordance entre la théorie et l'interprétation attendue des entiers naturels.

Inversion

ω‑inconsistance : existence d'une formule dont chaque instance par numéral est prouvée tandis que la théorie prouve aussi une négation existentielle ; une telle théorie peut rester (simplement) consistante mais révèle une discordance pathologique avec l'interprétation numérique attendue.

Limite

S'applique surtout aux théories qui représentent intérieurement les nombres naturels par des numéraux et prouvent des schémas d'instances ; en contexte modèle‑théorique pur, la notion connexe mais distincte d'ω‑modèle (un modèle dont l'univers est les entiers standards) relève du sémantique plutôt que du syntactique.

Tension sémantique

Tension entre ω‑consistance syntaxique et standardité sémantique : une théorie peut être ω‑consistante syntaxiquement tout en possédant des modèles non standard, ou être sémantiquement fidèle aux naturels sans satisfaire la propriété syntaxique d'ω‑consistance.

Synthèse

La ω‑consistance est une mesure syntaxique destinée à empêcher un motif infini particulier de contradictions dans les théories arithmétiques : elle garantit qu'une théorie ne prouve pas simultanément chaque instance concrète d'un prédicat et l'existence d'un contre‑exemple, rapprochant ainsi la démontrabilité de l'interprétation naturelle des nombres.