---
aliases:
  - quantificateur existanciel
---
up:: [[quantificateurs]]
#s/maths/logique 




> [!idea] Changement de point de vue sur l'existence
> Le plus grand apport de Frege à la logique : le quantificateur $\exists$, et le changement de la définition d'existence qui en découle.
>  
> Affirmer qu'une montagne d'or existe ne signifie pas qu'on doit attribuer les propriétés *est en or* et *existe* à cette montagne, mais plutôt que l'ensemble des objets qualifiés de *montagne d'or* n'est pas vide.
> 
> En découle la syntaxe du quantificateur $\exists$ : $\exists \text{(nom)},\; \text{(prédicat)}$, qui affirme que l'ensemble des objets qui [[satisfaisable|satisfont]] le prédicat n'est pas vide.