Всем привет, интересный файл с описанием метода исчисления полной математической индукции. На немецком языке: