The theory of definitions by abstraction : roots, history, contemporary developments