Presentation to the panel, “Does mathematics need new axioms?”

by Solomon Feferman