"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 - View it on GitHub