# Quantificateur

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

## Les trois niveaux

### Débutant — Que change l'ordre des mots « pour tout » et « il existe » ?

Tout. « Pour tout entier n, il existe un entier m plus grand que n » est vrai : m = n + 1 convient. « Il existe un entier m plus grand que tout entier n » est faux : aucun entier ne dépasse tous les autres, et surtout pas lui-même. Les symboles ∀ (pour tout) et ∃ (il existe) s'appellent des quantificateurs, et leur alternance donne des formules bien distinctes.

### Intermédiaire — Avec seulement ∀, ∃ et l'égalité, comment écrire « il existe un unique x » ?

En ajoutant l'égalité. Le symbole ∃! se définit à partir des deux quantificateurs de base : il existe un x vérifiant P, et tout y vérifiant P est égal à x. Le point d'exclamation n'est qu'une abréviation, mais elle est indispensable : un simple « il existe » signifie « il existe au moins un ».

### Expert — D'où vient le A renversé du quantificateur universel ?

De l'allemand alle, « tout ». Gerhard Gentzen l'introduit en 1933, dans un texte publié en 1934, comme All-Zeichen, « symbole pour tout », en renversant le A par analogie avec le ∃ qu'il tient de Russell, lequel l'avait emprunté à Peano. Peano employait ∃ dès 1897 dans son Formulaire de mathématiques, mais accolé au prédicat ; c'est Russell qui en fait un lieur de variable.

## À explorer ensuite

- [Raisonnement par l'absurde](https://curium.ctopass.com/c/raisonnement-par-l-absurde.md)
- [Ensemble](https://curium.ctopass.com/c/ensemble.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)
- [Application](https://curium.ctopass.com/c/application.md)
- [Bijection](https://curium.ctopass.com/c/bijection.md)
- [Paradoxe de Russell](https://curium.ctopass.com/c/paradoxe-de-russell.md)
- [Raisonnement par récurrence](https://curium.ctopass.com/c/raisonnement-par-recurrence.md)
- [Espérance mathématique](https://curium.ctopass.com/c/esperance-mathematique.md)
- [Fonction](https://curium.ctopass.com/c/fonction.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