The main goal of most systems for formalizing mathematics is creating the database of formalized knowledge. Every system uses its own way of storing that knowledge. Pieces of the information stored in such a database are something more than just elements of that database – we may also look at it from another perspective. Namely, the information is the reflection of some text and that text is the representation of some logical reasoning. Therefore every such piece of information may be treated as an element of some set and then we may analyze the relationships between all these elements. This article describes such an approach to one of the systems for formalizing mathematics.