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