Дескриптивные формулы: как математика описывает мир