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.
This might be helpful.