In mathematics, a classification theorem answers the classification problem 'What are the objects of a given type, up to some equivalence?'. It gives a non-redundant enumeration: each object is equivalent to exactly one class. In mathematics, a classification theorem answers the classification problem 'What are the objects of a given type, up to some equivalence?'. It gives a non-redundant enumeration: each object is equivalent to exactly one class.