Формализация математики и советская эпоха

"В конце XIX в. возникло новое направление в математическом анализе, целью которого было показать, что вся абстрактная математика является частью формальной логики. К этому направлению примкнул и Уайтхед. В 1903 г. он был избран членом Королевского общества и начал сотрудничать со своим бывшим учеником Бертраном Расселом. Результатом их десятилетнего сотрудничества явился знаменитый трехтомник «Основания математики» (1910-1913). В 2005 г. эта работа тиражом в 100 экземпляров впервые вышла на русском языке" (Панов, Современная математика... С. 109).