> sometimes you just don't know enough, but with more information or context you could prove it is true Yes, but that larger system itself contains statements

> sometimes you just don't know enough, but with more information or context you could prove it is true Yes, but that larger system itself contains statements that are true but unprovable in itself, and so on in an infinite regression. And before one hand-waves it away as a mere 'hole' that we can safely ignore, Chaitin extended Godel's work to show that there are in fact an infinitude of 'relevant' mathematical statements that are unprovable within any formal system S: https://en.wikipedia.org/wiki/Kolmogorov_complexity#Chaitin's_incompleteness_theorem https://en.wikipedia.org/wiki/Kolmogorov_complexity#Chaitin'...