>
1) Axiome de virtualité.
Si un ensemble E est élément de lui-même, alors l'ensemble de ses parties P(E) est inclus virtuellement dans E.
On a : E = P(E).
C'est naturellement le cas pour l'ensemble vide :
§ = {§}
2) Axiomes de l'ensemble des ensembles.
a) Tout ensemble E est un élément de l'ensemble des ensembles et le contient virtuellement :
EE = {E, EE}
E = {EE}
b) Pour toute paire d'ensembles XY, il existe un ensemble Z qui est la réunion de X et de Y.
Alors :
X appartient à Y et Y appartient à X.
X, Y = {Z}.
(X et Y sont éléments d'eux-mêmes et définissent deux ensembles contenant virtuellement Z).
Ce deuxième axiome interdit qu'il puisse exister un ensemble d'ensembles disjoints deux à deux (ou un ensemble d'ensembles non éléments d'eux-mêmes).
La non-appartenance d'un ensemble à lui-même est une conséquence de la comparaison des ensembles deux à deux.
mardi
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire