Отстаивается идея формализации понятий и определения их на языке математики как необходимое условие использования математики и ЭВМ в геологии. Показаны результаты формализации понятий в тектонике.