Статья: Элементы математической логики

Предположим, вам дана некая математическая задача, как бы вы определили, применимы или нет к ней методы математической логики.

Приведите пример класса задач, не решаемых с помощью метода приведения к противоречию.

Можно ли сказать, доказательство теорем методом от противного есть частный случай метода приведения к противоречию. Ответ обязательно обоснуйте.