Формальный язык в математике: ключ к точности и строгости