« exhaustion », définition dans le dictionnaire Littré

exhaustion

• 1 Terme 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.