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