The Gödel incompleteness theorem basically says any axiomatic system can have questions posed within it that can be true but impossible to prove. If one could, then it must be inconsistent.

[0] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...