His two early papers “What Numbers Could Not Be” (1965) and “Mathematical Truth” (1973) — the latter of which came to be called “the Benacerraf problem" — became instant classics and are discussed to ...