Switch to: References

Add citations

You must login to add citations.
  1. There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - forthcoming - Philosophia Mathematica.
    We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.
    Export citation