Pataut, Fabrice. 1998. “Incompleteness, Constructivism and Truth”. Logic and Logical Philosophy 6 (6):63-76. https://doi.org/10.12775/LLP.1998.004.