INDÉPENDANCE
INDÉPENDANCE (n. f., — des axiomes) Dans un système d’axiomes, l'indépendance de l’un d’entre eux peut se définir syntactiquement par le fait qu’il ne puisse être déduit des autres, ou sémantiquement par le fait qu’existe un système d’objets satisfaisant à tous les axiomes, à l’exception de celui qu’on examine (autrement dit, pour démontrer l'indépendance d’un axiome, il faut trouver une interprétation du système d’axiomes obtenu après remplacement de cet axiome par sa négation).
Liens utiles
- Turks et Caicos (2005-2006) Pas dindépendance à lhorizon
- Serbie-Monténégro (2005-2006): Le Monténégro choisit lindépendance
- Inde (1996-1997) Cinquante ans après l'indépendance
- Bermudes (2005-2006): Un « non » renouvelé à lindépendance
- Indépendance de la Banque centrale et autonomie de la politique monétaire française.