Duden - Das Lexikon der Vornamen
Hildefons
(auch:) Ildefons: männl. Vorn. (ahd. hiltja »Kampf« + ahd. funs »eifrig, bereit, willig«), der in Deutschland vor allem als Name des heiligen Ildefons (7.Jh.) Verbreitung fand. Der heilige Ildefons (latinisiert Ildefonsus, spanisch Ildefonso) war Erzbischof von Toledo und verfasste zahlreiche theologische Schriften; Namenstag: 23.Januar. Bekannter Namensträger: Ildefons Herwegen, Abt von Maria Laach (19./20.Jh.).
(auch:) Ildefons: männl. Vorn. (ahd. hiltja »Kampf« + ahd. funs »eifrig, bereit, willig«), der in Deutschland vor allem als Name des heiligen Ildefons (7.Jh.) Verbreitung fand. Der heilige Ildefons (latinisiert Ildefonsus, spanisch Ildefonso) war Erzbischof von Toledo und verfasste zahlreiche theologische Schriften; Namenstag: 23.Januar. Bekannter Namensträger: Ildefons Herwegen, Abt von Maria Laach (19./20.Jh.).