“For any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms.”

https://en.wikipedia.org/wiki/Kurt_G%C3%B6del#The_Incompleteness_Theorem