Какие утверждения о логике и математической логике являются истинными?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
При доказательстве математических теорем применима обычная логика(Верный ответ)
При доказательстве математических теорем применима только математическая логика
Доказательство некоторых теорем может быть формализовано с использованием аппарата математической логики(Верный ответ)
При доказательстве математических теорем обычная логика не применима