Philosophy of Mathematics: Truth, Existence and Explanation, 26–28 May. tr 2016, 10 (7).