type problem

[ریاضیات] مساله ی نوع