Korbmacher, J. Mathematical Philosophy. tr 2019, 13.