Dins de la la Península Ibèrica s'han anomenat unes 240 espècies 
  de formigues, agrupades en 5 subfamílies de las 17 que hi en el món. 
  Aquestes són: Dolichoderinae, Formicinae, Leptanillinae, 
  Myrmicinae i Ponerinae. 
Les altres dotze 12 subfamilias que no tenen presència són: Aenictinae, Aenictogitoninae, Aneuretinae, Apomyrminae, Cerapachynae, Dorylinae, Ecitoninae, Leptanilloidinae, Myrmeciinae, Prionomyrmecinae, Probolomyrmex i Pseudomyrmecinae.
Aquí es pot veure un llistat general del nombre de formigues que hi ha de cada subfamília a la Península Ibèrica:
| SUBFAMÍLIA | NOMBRE D'ESPÈCIES | EXEMPLES | 
| Dolichoderinae | 9 | Linepithema humile (Mayr, 1868) | 
| Formicinae | 85 | Formica fusca (Linnaeus, 1758) | 
| Leptanillinae | 4 | Leptanilla charonea (López, Martínez i Barandica, 1994) | 
| Myrmicinae | 134 | Aphaenogaster cardenai (Espadaler, 1981) | 
| Ponerinae | 9 | Proceratium melinum (Roger, 1860) | 
Per complementar la feina cal parar atenció en algunes fotografies tretes de la URL: http://www.upseros.com/comunidad/hormigas/4images/index.php, per il·lustrar una miqueta més aquest apasionant món de les formigues:
|  |  | 
| Tapinoma nigerrimum (Dolochoderinae) | Formica fusca (Formicinae) | 
|  | |
| Aphaenogaster ibèrica (Mirmycinae) | Lasius flavus (no ibèrica, però citada anteriorment) |