способ доказательства или определения некоторого
свойства A для всех n случаев, основанный на переходе заключения о наличии
свойства A от n к n+1. Математическая индукция состоит из двух этапов:
установление A для некоторого начального n и обоснование перехода от n к n+1.