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

Построение формальных теорий
Применение аппарата математической логики к различным областям практической деятельности
Применение математических символов в тригонометрии
Формулировка логических рассуждений

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.