Théorie oméga-cohérenteEn 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, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Uniforme militairevignette|redresse=1.1|Des militaires italiens, français, espagnols, portugais, indonésiens et indiens en uniforme lors d'un défilé à Rome, en Italie. vignette|redresse=1.1|Représentation d'uniformes militaires durant la période 1690 à 1865 par René Lhopital. L’uniforme désigne, en terminologie militaire, l'habit militaire en général. Un uniforme est un ensemble d'effets réglementaires réservé à une catégorie de personnel, confectionné suivant certaines spécifications (tissus, couleur, coupe) et dont le caractère militaire et national est affirmé par des attributs ou insignes nettement définis.
