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

Математическая логика – современная форма логики, которая полностью опирается на формальные математические методы. Это наука, изучающая методы доказательства и опровержений, то есть методы установления истинности или ложности одних высказываний (утверждений) на основе истинности или ложности других высказываний.

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