While the standard informal interpretation of Goedel's sentence: [G] I am (/This sentence is) not provable. is quite well-known, it's dual sentence: [DG] I am (/This sentence is) refutable. studied, for instance, by Smullyan, isn't. Yet, pretty much like you can run an argument for incompleteness using the former, you can also run a parallel argument using the latter. Just because it's fun to see how this works (if you're geeky enough), here's how it goes (it's quite easy). For simplicity let's assume the background theory is sound (it proves only truths) and sufficiently expressive. One of the easiest arguments for incompleteness using [G] goes like this. Suppose [G] is false. Then (because of what it says) it is provable, which contradicts soundness. So [G] is true. If [G] is true, it is not provable, so we have the first half of incompleteness. Given that [G] is true, its negation is false. If ~[G] is false, it cannot be provable