Forum de mathématiques - Bibm@th.net
Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#2 28-01-2026 15:09:40
- DeGeer
- Membre
- Inscription : 28-09-2023
- Messages : 222
Re : axiome de fondation
Bonjour
S'il existe $x$ tel que $x \in x$ alors $x$ est non vide et $\{ x \}$ contredit l'axiome de fondation : il est non vide, il a pour unique élément $x$, et pourtant, $x \cap \{x\} = x \neq \emptyset$.
On montre de manière analogue qu'il n'existe pas de cycles pour l'appartenance, à savoir d'ensembles $x_1, ..., x_n$ tels que $x_{i-1} \in x_i$ et $x_n \in x_1$, et qu'il n'existe pas de suites décroissantes pour l'appartenance, à savoir une suite d'ensemble $(x_n)_{n \in \mathbb{N}}$ tels que pour tout $n$, $x_{n+1} \in x_n$.
Dernière modification par DeGeer (28-01-2026 15:14:48)
Hors ligne
Pages : 1