Mathematical Philosophy. tr 2019, 13 (2).