Site uses cookies to provide basic functionality.

OK
[...] provability is a weaker notion than truth
Douglas R. Hofstadter
truth godel-s-incompleteness-theorem mat proof mathematics