proper noun/ildeˈfonso/
a male given name from Gothic
Related: San Ildefonso
Inherited from Early Medieval Latin Ildephonsus, Ildefonsus, Hildephonsus, probably from Gothic *𐌷𐌹𐌻𐌳𐌹𐍆𐌿𐌽𐍃 (*hildifuns), from the Proto-Germanic elements *hildiz (“battle, fight”) + *funsaz (“ready”). See also Alfonso. The earliest historical figure with this name was Ildephonsus of Toledo (607-667 A.D.).