His two early papers “What Numbers Could Not Be” (1965) and “Mathematical Truth” (1973) became instant classics. The second one would come to be called “the Benacerraf problem."