Pataut, F. Incompleteness, Constructivism and Truth. LLP 1998, 6, 63-76.