 As if saddling platonism with one difficult problem were not enough  (section 3.4),  Benacerraf formulated a challenge for set-theoretic platonism (Benacerraf 1965). The challenge takes the following form.