The description of lists and sets of meta-language of normal forms of knowledge Academic Article