Mathematical Philosophy. tr 2023, 17 (1).