Pochodzenie i znaczenie imienia
Jest to imię męskie pochodzenia germańskiego, częste w Hiszpanii. Składa się z dwóch elemntów: hild - walka, potyczka i funs - gotowy. Ildefons zatem to gotów do walki.
W dawnej Polsce imię nie występuje. Pojawia się pod koniec XVIII w. W pierwszej połowie XIX w. imię zaczyna być modne. Czasem utożsamiane jest z Alfonsem.
Ze znanych postaci nosił je poeta Konstanty Ildefons Gałczyński (1905-1953).