Какие существуют способы математического доказательства равенства в разных математических системах?

Некоторые способы математического доказательства равенства в разных математических системах:

• Прямое доказательство. mooc.tusur.ru ru.wikipedia.org Задача — найти такие аргументы, из которых по логическим правилам получится заключение. mooc.tusur.ru Истинность утверждения выводится из истинности посылок без введения дополнительных предположений. mooc.tusur.ru
• Непрямое (косвенное) доказательство. mooc.tusur.ru Истинность или ложность утверждения достигается посредством опровержения некоторых других высказываний, несовместимых с доказываемым. mooc.tusur.ru
• Доказательство методом перебора. mooc.tusur.ru Такой метод часто применяют, когда количество вариантов незначительно для проверки данного утверждения. mooc.tusur.ru
• Комбинаторное доказательство. en.wikipedia.org Устанавливает эквивалентность различных выражений, показывая, что они по-разному учитывают один и тот же объект. en.wikipedia.org
• Неконструктивное доказательство. en.wikipedia.org Устанавливает, что математический объект с определённым свойством существует, без объяснения того, как такой объект может быть найден. en.wikipedia.org
• Конструктивное доказательство. en.wikipedia.org Устанавливает, что конкретный объект существует, предоставляя метод его нахождения. en.wikipedia.org

В зависимости от раздела математики, используемого формализма или математической школы не все методы могут приниматься безоговорочно. ru.wikipedia.org