# Ensemble

**Thème :** Maths · Logique mathématique  
**Page :** https://curium.ctopass.com/c/ensemble  
**Mise à jour :** 2026-09-11

## Les trois niveaux

### Débutant — Combien d'éléments possède l'ensemble {1, 2, 2, 1} ?

Deux : {1, 2, 2, 1} = {1, 2}. Un ensemble est entièrement déterminé par ses éléments, sans ordre ni répétition : { 1, 2 } = { 2, 1 } et { 1, 2, 2 } = { 1, 1, 1, 2 }. Un objet appartient à un ensemble ou n'y appartient pas, il ne peut pas y être deux fois.

### Intermédiaire — Que se passe-t-il quand on définit un ensemble par n'importe quelle propriété ?

Une contradiction. L'ensemble des x tels que x n'appartient pas à x conduit au paradoxe de Russell. La définition en compréhension n'est donc autorisée qu'à l'intérieur d'un ensemble E déjà construit, sous la forme {x ∈ E | P(x)} : c'est le schéma d'axiomes de compréhension de la théorie de Zermelo. Paire, réunion et ensemble des parties exigent chacun leur axiome.

### Expert — D'où vient le symbole d'appartenance ∈ ?

De la lettre grecque epsilon, initiale de est : « x ε A » se lit chez Peano « x est un A », et « x ε N », « x est un entier positif ou nul ». Il l'introduit en 1889 dans son Arithmetices Principia, rédigé en latin. Russell reprend ses notations en 1903 dans les Principles of Mathematics, avec l'epsilon arrondi ϵ de l'édition anglo-saxonne, et l'ouvrage les diffuse.

## À explorer ensuite

- [Paradoxe de Russell](https://curium.ctopass.com/c/paradoxe-de-russell.md)
- [Application](https://curium.ctopass.com/c/application.md)
- [Quantificateur](https://curium.ctopass.com/c/quantificateur.md)
- [Bijection](https://curium.ctopass.com/c/bijection.md)
- [Raisonnement par l'absurde](https://curium.ctopass.com/c/raisonnement-par-l-absurde.md)
- [Raisonnement par récurrence](https://curium.ctopass.com/c/raisonnement-par-recurrence.md)
- [Relation d'équivalence](https://curium.ctopass.com/c/relation-d-equivalence.md)
- [Théorèmes d'incomplétude de Gödel](https://curium.ctopass.com/c/theoremes-d-incompletude-de-godel.md)
- [Symétrie](https://curium.ctopass.com/c/symetrie.md)
- [Système linéaire](https://curium.ctopass.com/c/systeme-lineaire.md)

---

Curium — La connaissance, une question à la fois.

App Store : https://apps.apple.com/fr/app/curium/id6793886587
Google Play : https://play.google.com/store/apps/details?id=com.ctopass.curium