Taxonomie van de mieren

De familie mieren wordt onderverdeeld in de volgende taxa;