R. Murawski, “Troubles with (the concept of) truth in mathematics”, LLP, vol. 15, no. 4, pp. 285–303, Apr. 2007.