Formas alternativas del nombreIldefons, m. 667
Ildefonso , Santo, Arzobispo de Toledo, m. 667
Ildefonso de Toledo , Santo, m. 667
Ildefonso Toledano , Santo, m. 667
Ildephonsus , Santo, m. 667
Alfonsus Toletanus , Santo, m. 667
Eldefonsus, Hispaniensis , Santo, m. 667
Ildephonsus, Toletanus , Santo, m. 667
Fuentes consultadas1. BNE
2. Enc. de la religión católica Ildefonso, San, Arzobispo de Toledo (años 657-667)