# Synonymes de ω-cohérence

Source : https://synonyma.fr/%CF%89-coh%C3%A9rence · 1 synonymes · 1 antonymes · mis à jour le 2026-11-03

## Synonymes de ω-cohérence

### Nom commun

- oméga-cohérence

## Antonymes de ω-cohérence

ω-incohérence

## Définitions

### Nom commun \o.me.ɡa.kɔ.e.ʁɑ̃s\

1. Propriété d’une théorie arithmétique qui ne peut pas, pour toute propriété P des nombres entiers exprimable dans son langage, démontrer à la fois P(n) pour chaque entier standard n et la négation de ∀x,P(x) ; condition plus forte que la simple cohérence, introduite par Kurt Gödel comme hypothèse de son premier théorème d’incomplétude.
   > La ω-cohérence est strictement plus forte que la cohérence ordinaire : toute théorie ω-cohérente est cohérente, mais la réciproque est fausse.

## Étymologie

Terme composé : – du préfixe ω, ō (« oméga, vingt-quatrième lettre de l’alphabet grec, utilisée en logique et en mathématiques pour désigner le premier ordinal infini ») – et de cohérence, du latin cohaerentia (« cohérence, cohésion »).

## Sources et licence

- Wiktionnaire, « ω-cohérence » : https://fr.wiktionary.org/wiki/%CF%89-coh%C3%A9rence (CC BY-SA 4.0)