Element 'formalization of knowledge'