개미의 종류는 얼마나 되나요?

길을 걷다 보면 개미를 보게 되는데요. 작은 개미도 있고 큰개미들도 있는데요. 개미의 종류는 얼마나되나요? 엄청 많을 것 같은데요.