# Argument de la diagonale de Cantor

**Thème :** Maths · Logique mathématique  
**Page :** https://curium.ctopass.com/c/argument-de-la-diagonale-de-cantor  
**Mise à jour :** 2026-09-30

## Les trois niveaux

### Débutant — Comment Cantor a-t-il prouvé que certains infinis sont plus grands que d'autres ?

En essayant de dresser la liste complète des nombres à virgule compris entre 0 et 1, et en montrant qu'on échoue toujours. Georg Cantor a publié en 1891 une recette qui, à partir de n'importe quelle liste, fabrique un nombre qui n'y figure pas. Les entiers, eux, se listent sans peine : il y a donc plus de nombres à virgule que d'entiers.

### Intermédiaire — Comment la diagonale de Cantor fabrique-t-elle un nombre absent de toute liste ?

Elle lit la 1re décimale du 1er nombre de la liste, la 2e du 2e, la 3e du 3e, en descendant le long de la diagonale du tableau. Puis elle change chacun de ces chiffres. Le nombre obtenu diffère du n-ième nombre par sa n-ième décimale, donc de tous.

### Expert — Quel piège guette la version décimale de l'argument de Cantor ?

Les doubles écritures, comme 0,5 et 0,4999…, qui désignent le même nombre. Le nombre fabriqué pourrait être l'écriture cachée d'un nombre déjà listé sous son autre forme. On l'évite en n'utilisant que les chiffres 3 et 4, une précaution que des vulgarisateurs oublient.

## À explorer ensuite

- [Bijection](https://curium.ctopass.com/c/bijection.md)
- [Paradoxe de Russell](https://curium.ctopass.com/c/paradoxe-de-russell.md)
- [Théorèmes d'incomplétude de Gödel](https://curium.ctopass.com/c/theoremes-d-incompletude-de-godel.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)
- [Application](https://curium.ctopass.com/c/application.md)
- [Ensemble](https://curium.ctopass.com/c/ensemble.md)
- [Hôtel de Hilbert](https://curium.ctopass.com/c/hotel-de-hilbert.md)
- [Paradoxes de Zénon](https://curium.ctopass.com/c/paradoxes-de-zenon.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