In proof by exhaustion, the conclusion is established by dividing it into a finite number of cases and proving each one separately.
Στην απόδειξη με εξάντληση, το συμπέρασμα δείχνεται διαιρώντας το σε έναν πεπερασμένο αριθμό περιπτώσεων, και αποδεικνύοντας την κάθε μια ξεχωριστά.