Le terme "sauf" modifie le quanteur universel qui précède pour exclure de la quantification universelle les cas exceptionnels qui suivent.

Exemple: Tous les nombres premiers sont impairs, sauf le nombre premier 2.