Ebook: The structure and development of mathematical theories. Modern Logic

1991, 2, 1: 3-28On 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.