в мире более 12000 видов муравьев , на территории России - около 300 видов.