A logic of abstraction related to finite constructive number classes