Mathematical induction is a fundamental proof technique in mathematics. It establishes the truth of a statement for all natural numbers by first verifying a base case, then showing that if the statement holds for one number, it must also hold for the next.