Les formigues (Formicidae) són una família d'insectessocials 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.