En logique mathématique une théorie arithmétique est appelée théorie ω-cohérente ( oméga-cohérente ) quand, pour toute propriété P des nombres entiers que l`on peut exprimer dans le langage de la théorie, Trouvé sur https://fr.wikipedia.org/wiki/Théorie_oméga-cohérente
Aucun résultat n’a été trouvé dans l’encyclopédie.
En logique mathématique une théorie arithmétique est appelée théorie ω-cohérente ( oméga-cohérente ) quand, pour toute propriété P des nombres entiers que l`on peut exprimer dans le langage de la théorie,