Математическое доказательство¶

Определение. Конечная последовательность утверждений, каждое из которых — посылка, аксиома или следствие предыдущих по правилам логики, ведущая от условий к заключению. Основные методы: прямое, от противного, по случаям, индукция, опровержение контрпримером.