Большой энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ
МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — общий способ математического доказательства или определения некоторого свойства А для всех натуральных n, основанный на заключении от n к n+1. Математическая индукция состоит из двух этапов: а) установление А для некоторого начального n0; б) обоснование перехода от n к n+1.