Los formícidos (Formicidae), conocidos comúnmente como hormigas, son una familia de insectos eusociales que, como las avispas y las abejas, pertenecen al orden de los himenópteros. Las hormigas evolucionaron de antepasados similares a una avispa a mediados del Cretáceo, hace entre 110 y 130 millones de años, diversificándose tras la expansión de las plantas con flor por el mundo. Son uno de los grupos zoológicos de mayor éxito, con cerca de 13 000 especies descritas, aunque se estima que pueden ser más de 22 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 mirmecología.