Mathematical Philosophy. tr 2024, 16 (1).