Mathematical induction is used to prove statements that involve integers. It consists of two parts: a base case and an inductive step. The base case is usually proved directly, and the inductive step uses the assumption that the statement is true for some integer to show that it is true for the next integer.