Há milhares de tipos de formigas no mundo. O Brasil possui muita diversidade. Incluem formigas cortadeiras, urbanas e invasoras, como a formiga argentina.