분류론(정리론), 평가론