1. quantifieur logique d'une proposition qui assert que cette proposition est vraie pour tous les membres d'une classe de choses
<ex> "quel que soit" est l'unique quantifieur universel </ex>
<ex> quel que soit x dans les nombres, x+0=0 ;
pour tout nombre x, on a x+0=0 ;
∀ x ∈ R, (x+0=0) </ex>