Математи́ческая инду́кция — общий способ математического доказательства или определения некоторого свойства А для всех натуральных n, основанный на заключении от n к n+1. Математическая индукция состоит из двух этапов: установление А для некоторого начального n — база индукции; обоснование перехода от n к n+1 (доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n+1 — шаг индукции, или индукционный переход).