Математическая логика

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