Abstract

This paper draws its title from the recent symposium of which it was part; it attempts to respond to the question raised by that title, taking current work in set theory into account. To this end the paper contrasts set theory with number theory, examines a severe brand of set-theoretic realism that is suggested by a passage from Godel, and sketches a first-order way of looking at the results about competing extensions of Zermelo-Fraenkel set theory. A formalistic sentiment may be detectable in some portions of the paper