Одним из средств отражения внутреннего и внешнего мира человека является естественный язык. Описание «мира математических предметов», т.е. системы, состоящей из математических объектов, их свойств и отношений между ними, а также логических связей между двумя последними совершается на формализованном так называемым логико-математическом языке (ЛМЯ). Данный раздел посвящен изложению только его основ. Об отдельных фрагментах ЛМЯ, не рассматриваемых здесь, речь повдет в тех разделах пособия, где в этом возникнет необходимость.