Сан-Ильдефонсо или просто Ильдефонсо , мужское имя, родом из готского языка . Оно взято из названия Hildefuns, означающего «готовый к бою» ( hild «битва» в сочетании с funs «готов»). Оно латинизировано как Ильдефонсус , и возможно, что Альфонсо является вариантом этого имени.