Proving statements by checking all possible cases systematically.
Logical argument, algebraic proof, proof of mathematical statements by direct deduction.