Benacerraf's identification problem shows that definitional equivalence across structures underdeter...