Логическое доказательство
1) последовательность высказываний, часть которых является ее исходными утверждениями — аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из которых — дедукция, математическая индукция, правило подстановки).