 There has been some dispute on the issue as to whether Gödel’s theorems conclusively refute logicism (see the entry on  logicism).  Henkin (1962) and Musgrave (1977), for example, argue it does; Sternfeld (1976) and Rodríguez-Consuegra (1993) disagree (see also Hellman 1981; Raatikainen 2005).