On the basis of a structural-naming reconstruction of scientific knowledge we give a description of the main subsystems of mathematical theories. The role of the theory of named sets for the exact analysis of their components is given. For the case of set theory we consider also some dynamic aspects.
"The structure and development of mathematical theories." Mod. Log. 2 (1) 3 - 28, September 1991.