exhaustion s. f. (è-gzô-stion)
-
1Terme didactique. Action d'épuiser.
Pompe d'exhaustion, pompe placée sur quelques navires à vapeur pour enlever du fond de la chaudière une certaine portion d'eau sursaturée soit de sel marin, soit de toute autre matière tenue en dissolution
LEGOARANT
-
2Fig. Terme de logique. Action d'épuiser tous les cas possibles dans une question.
L'induction est impossible, car elle suppose l'exhaustion de tous les singuliers
Diderot, Opin. des anc. philos. (Pyrrhoniens).
-
Terme de mathématique. Méthode d'exhaustion, manière de prouver que deux grandeurs sont égales, en montrant que la différence en est plus petite que toute quantité donnée.
Étymologie
Lat. exhaustionem, épuisement, de ex, et haurire, puiser.