مبانی نظریه انواع و کاربردهای آن