D’Alessandro, W. Mathematical Philosophy. tr 2023, 17.