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