As formigas são animais pertencentes à família Formicidae, o grupo mais numeroso dentre os insetos. São seres particularmente interessantes porque formam níveis avançados de sociedade, ou seja, a eusocialidade. Todas as formigas, algumas vespas e abelhas, são considerados como insetos eusociais, fazendo parte da ordem Hymenoptera. As formigas estão incluídas em uma única família, Formicidae, com 12.585 espécies descritas até 2 de setembro de 2010, distribuídas por todas as regiões do planeta, exceto nas regiões polares. As formigas são o gênero animal de maior sucesso na história terrestre, constituindo de 15% a 20% de toda a biomassa animal terrestre.