Vladimir_Nesov comments on What mathematics to learn