" In a word, just as provability and truth are the same thing for a mathematician, so are nonprovability and falsity. They are synonymous. "

― Douglas R. Hofstadter , I Am a Strange Loop