Antonutti, M. Mathematical Philosophy. tr 2019, 13.