Pataut, F. “Incompleteness, Constructivism and Truth”. Logic and Logical Philosophy, vol. 6, no. 6, Nov. 1998, pp. 63-76, doi:10.12775/LLP.1998.004.