" Mathematical truth is not determined arbitrarily by the rules of some 'man-made' formal system, but has an absolute nature, and lies beyond any such system of specifiable rules. "

― Roger Penrose , Shadows of the Mind: A Search for the Missing Science of Consciousness