ABSTRACT
We shall now outline a mathematical framework where the formal counterpart of scientific theories can be discussed—namely, the Zermelo–Fraenkel set theory, ZF, perhaps with the Axiom of Choice, ZFC. Since the relevance of this subject is in general not well known by the general philosopher of science, we will provide further explanations about the details of the theory in hopes that they will help the reader to agree with us on the importance of this kind of study to our subject.
