Ildefonco é um nome masculino que vem do latim "Hildefonsus" e significa "aquele que defende com empenho". É um nome de origem espanhola e foi dado em homenagem a São Ildefonso, bispo de Toledo, que se destacou por sua luta em defesa da fé cristã e pelas suas obras de caridade. O nome Ildefonco é pouco comum no Brasil e é mais frequente em países de língua espanhola.