What Godel and Rosser showed is that the consistency of a (sufficiently extensive) formal system is something that lies outside the power of the formal system itself to establish.
Roger Penrose
What Godel and Rosser showed is that the consistency of a (sufficiently extensive) formal system is something that lies outside the power of the formal system itself to establish.