This philosophy.se post answers that question: https://philosophy.stackexchange.com/questions/7194/how-is-g%C3%B6dels-incompleteness-theorem-interpreted-in-intu

This philosophy.se post answers that question: https://philosophy.stackexchange.com/questions/7194/how-is-g%C3%B6dels-incompleteness-theorem-interpreted-in-intuitionistic-logic https://philosophy.stackexchange.com/questions/7194/how-is-g...