Математична логіка є наукова дисципліна, що знаходиться на стику між логікою та математикою. Він займається дослідженням, формалізацією та математизацією тих областей логіки, на основі яких будується математика.
Одна з можливих відповідей, яку пропонують енциклопедичні словники: математика – це наука, яка займається просторові та кількісні співвідношення реального світу.
Вивчає об'єктивні умови правильності, іншими словами, це дисципліна, яка вивчає зв’язок «наслідків», тобто шукає вимоги, щоб щось можна було правильно вивести з передумов. Мета логіки — визначити набір правильних аргументів.
формальна логіка – визначає та вивчає правила абстрактного висновку (тобто «форми суджень»), достовірність яких не залежить від змісту понять, що в них фігурують.. Математична логіка – в 20 столітті логіка стала інструментом математиків і нею почали займатися самі математики.
У математиці це називають теоремою важливе нетривіальне і достатньо загальне положення або твердження. Однак для того, щоб таке твердження вважалося теоремою, необхідно надати його доказ, тобто воно повинно бути логічно виведене з визначень, аксіом і раніше доведених теорем.