F. Pataut, “Incompleteness, constructivism and truth”, LLP, vol. 6, no. 6, pp. 63–76, Nov. 1998.