jdh.hamkins.org
Are all Gödel sentences equivalent?
I should like to consider a family of natural questions concerning the Gödel sentence — the sentence asserting its own non-provability, used by Gödel to prove the incompleteness theorem — and speci…