Дедукция представляет собой форму мышления, при которой новое предложение выводится логическим путем из известных предложений. Дедуктивные доказательства объясняют изучаемые факты и могут быть дополнены разъяснениями, мотивировками и аргументацией выбора математического метода.