Mathematical Philosophy. tr 2018, 12 (6).