Vornamenlexikon

Ildefons,

althochdeutscher Ursprung, Bedeutungszusammensetzung aus: »Kampf« und »eifrig«. Namensträger: Hl. Ildefons, Erzbischof von Toledo.