Mathematical Philosophy, 7–9 April. tr 2016, 10 (7).