Towards a Theory of Formal Classification