here is a statement of arithmetic (or number theory, to be slightly more precise) that we are sure is true, and yet we are equally sure it is unprovable — and to cap it off, these two contradictory-sounding facts are consequences of each other! In other words, KG is unprovable not only although it is true, but worse yet, because it is true.
