Математическая философия или философская математика?

Доклад Андрея Родина «Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью».