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

В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». 2

Некоторые разделы математической логики:

• Алгебра логики (алгебра высказываний) — раздел, в котором изучаются логические операции над высказываниями. 1
• Логика высказываний (пропозициональная логика) — раздел, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. 1
• Теория доказательств — раздел, представляющий доказательства в виде формальных математических объектов и осуществляющий их анализ с помощью математических методов. 1