ABSTRACT
In this chapter we briefly discuss the problem of translating various theories into set theory. One can give the following metadefinition which is not standard but expresses a standard idea about the interaction between mathematics and various fields of knowledge (including mathematics itself). Later, when we discuss mathematical logic, we will introduce a rather different (but related) concept, namely that of a model.
