This might be helpful.
These are natural mathematical equivalents of the Godel "true but undecidable" sentence. They can be proved in a larger system which is generally accepted as a valid form of reasoning, but are undecidable in a more limited system such as Peano Arithmetic.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.