Суть навчальної дисципліни – вивчення мислення за допомогою числень при використанні математичних методів та спеціальних символів. Математична логіка вивчає різні математичні теорії, зокрема формальні аксіоматичні теорії логіки висловлень та логіки предикатів та питання їх існування, несуперечності, повноти та розв’язності.