Mathematical Philosophy. tr 2024, 5 (8).