PATAUT, Fabrice. Incompleteness, constructivism and truth. Logic and Logical Philosophy. Online. 6 November 1998. Vol. 6, no. 6, pp. 63-76. [Accessed 4 July 2024]. DOI 10.12775/LLP.1998.004.