哥德語
San Ildefonso or just "Ildefonso", is a masculine name, originally from the Gothic language. It is taken from the name "Hildefuns" meaning "battle ready" ("hild" "battle" combined with "funs" "ready"). It is Latinised as "Ildephonsus", and it is possible that Alfonso is a variant of this name.