Предмет математической логики
Логика — анализ принципов правильных суждений.
Формальная логика изучает формы, в которых проявляются законы причинно-следственных связей.
Математическая логика занимается обоснаванием правильных способов рассуждений математического аппарата.
Этапы развития математической логики
Дж. Буль создал алгебру логики.
Г. Фреге разработал логико-математические языки и теорию их осмысления.
Д. Гильберт разработал
Задача математической логики
Изучение фундаментальных теорий, представляющих собой множества теорем, получающихся из исходных аксиом с помощью дедуктивных умозаключений.