Benacerraf and Putnam's structuralist critiques suggest that mathematical existence claims require m...