Los formícidos (Formicidae), conocidos comúnmente como hormigas, son una familia de insectos sociales que, pertenecen al orden de los himenópteros. Son uno de los grupos zoológicos de mayor éxito y en la actualidad están clasificadas más de 12.000 especies, con estimaciones que superan las 14 000, y con unas tendencias actuales que predicen un total de más de 21 000. Se identifican fácilmente por sus antenas en ángulo y su estructura en tres secciones con una estrecha cintura. La rama de la entomología que las estudia se denomina mimecología.