Mathematical Philosophy. tr 2019, 13 (1).