A s 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.

Acredita-se que o surgimento das formigas na Terra deu-se durante o período Cretáceo (há mais de 100 milhões de anos) e pensa-se que elas evoluíram a partir de vespas que tinham aparecido durante o período Jurássico. Por vezes, confundem-se as térmitas (cupins) com as formigas, mas pertencem a grupos distintos.

As formigas distinguem-se dos outros insetos – mas algumas destas características são comuns a alguns tipos de vespas ou abelhas - por apresentarem:

• Uma casta de obreiras sem asas;
• As fêmeas são prognatas (peças bucais no ácron);
• Presença de um ‘’saco infrabucal’’ entre o lábio e a hipofaringe;
• Antenas articuladas, com o artículo distal alongado (exceto nas subfamílias Armaniinae e Sphecomyrminae);
• Glândula metapleural nas fêmeas, abrindo na base das patas posteriores;
• O segundo, e em algumas espécies também o terceiro, segmento abdominal formando um “pecíolo” (pouco diferenciado nas Armaniinae);
• As asas anteriores não apresentam nervuras[desambiguação necessária] ramificadas;
• A rainha perde as asas depois da cópula, que é realizada em voos de milhares de indivíduos.