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