Pataut, F. (1998) “Incompleteness, constructivism and truth”, Logic and Logical Philosophy, 6(6), pp. 63–76. doi: 10.12775/LLP.1998.004.