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 )
[ Shadows of the Mind: A Search ]
www.QuoteSweet.com