As formigas são animais pertencentes à família Formicidae, o grupo mais numeroso dentre osinsetos. São seres particularmente interessantes porque formam níveis avançados desociedade, 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,^[1] 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.^[2]