В основе математической логики лежат следующие математические основы:

• Использование математического языка символов и формул. 1 Это позволяет устранить двусмысленность, которая свойственна естественным языкам. 1
• Алгебра высказываний. 3 Раздел математической логики, в котором изучаются логические операции над высказываниями. 3
• Операции, позволяющие судить об истинности или ложности сложного высказывания по истинности и ложности составляющих его высказываний. 1 К ним относятся отрицание, конъюнкция, дизъюнкция, импликация и другие. 12
• Множества истинности высказываний. 3 Каждому высказыванию соответствует подмножество универсального множества логических возможностей — так называемое множество истинности данного высказывания. 3

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