Tweestammige Germaanse (oorspronkelijk West-Gotisch) naam met de betekenis 'bereid tot de strijd', uit Hild- 'strijd' en -fons 'wagend' (zie Alfons). West-Gotisch Ildefons werd in het Spaans Ildefonso. Heiligennaam: Ildefonsus, aartsbisschop van Toledo (657-'67), schrijver van 'De virginitate S. Mariae contra tres infideles' (De maagdelijkheid van de heilige Maria verdedigd tegen drie ongelovigen); kerkelijke feestdag: 23 januari. Uit Spanje kwam de naam naar het noorden.