Plantilla:16 article dels Animals
Les formigues (Formicidae) són una família d'insectes socials que, juntament amb les famílies properes de les vespes i abelles, formen l'ordre dels himenòpters. Són fàcils de distingir per les seves antenes en angle i una estructura de nòdul que forma una cintura esvelta. La branca de l'entomologia que les estudia s'anomena mirmecologia.
Les formigues evolucionaren d'avantpassats vespiformes al període Cretaci mitjà, fa entre 130 i 110 milions d'anys, i es diversificaren després de l'expansió de les plantes amb flor. Avui en dia, se'n reconeixen més de 12.000 espècies, amb una estimació superior d'unes 14.000. Estan classificades en 26 subfamílies, 385 gèneres i 12.028 espècies descrites. La diversitat més gran es troba als tròpics.