  The liberating effect of giving up the classical faith … is immense: … one is free to return to something like the grand simplicity of naive set theory, to semantically closed natural languages (having abandoned the towering but ill-constructed and mostly unfinished hierarchies of formal languages), and to intuitive accounts of truth, of proof, and of many other intensional notions (1979b, 302).