Mathematical Philosophy. tr 2011, 5 (7).