Mathematical induction is a proof technique used to establish the truth of an infinite number of cases by proving a base case and an inductive step. It is especially useful for proving propositions involving natural numbers, where the truth of a statement for one number implies its truth for the next number in the sequence.