Mathematical Philosophy. tr 2021, 15 (3).