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

Некоторые стратегии, которые используются для доказательства математических утверждений:

• Прямое доказательство. www.buddymath.com Включает в себя вывод истины утверждения непосредственно из известных фактов, определений и аксиом. www.buddymath.com
• Доказательство от противного. vk.com Предполагают, что утверждение неверно, и затем доказывают, что это противоречит другим уже ранее доказанным теоремам или аксиомам. vk.com
• Исчерпывание вариантов. ru.ruwiki.ru Для доказательства утверждения перебираются все возможные варианты совокупности, относительно которой сформулировано утверждение. ru.ruwiki.ru
• Метод установления биекции. ru.ruwiki.ru Применяется для установления утверждений о размере или структуре совокупности или сопоставимости совокупности с какой-либо другой совокупностью. ru.ruwiki.ru
• Графические доказательства. math.stackexchange.com В некоторых случаях такой метод используют, чтобы иметь представление о природе проблемы, но в большинстве случаев графические доказательства не дают строгого доказательства. math.stackexchange.com

Также при построении доказательств применяют математическую индукцию и её обобщения, контрапозицию, построение и другие приёмы. ru.ruwiki.ru