Ildefonso de Toledo (617 - 667)

ldefonso de Toledo foi arcebispo de Toledo (657-667), considerado santo pela Igreja católica.
Julga-se que descendesse da família real visigótica. Fez uso dos seus bens para edificar um mosteiro feminino, e mais tarde fez-se, ele mesmo, monge, antes de se tornar arcebispo de Toledo, posição que serviu durante dez anos, sob o reinado de Recesvinto.

O seu nome deriva do gótico Hildefuns, donde derivou mais tarde também o nome Afonso.
Escreveu contra os hereges, defendendo a doutrina da Imaculada Conceição, que doze séculos mais tarde se converteria em dogma oficial do Catolicismo. Na cidade do Porto, Portugal, é-lhe dedicada a Igreja de Santo Ildefonso.