Benacerraf's Dilemma; Frege; Kreisel; Abstract Objects