Axiomatization of genetics 2. Formal development.

When certain assumptions are claimed to "found" a scientific theory, two kinds of controls are needed: it must be proved that every assertion of the theory is derived from the assumptions and that no assumption depends on (that is, derives from) the other ones. The formal approach (when possible) is the best method of achieving these results. In this paper the axiomatization of the elementary laws of genetics considered in Rizzotti & Zanardo (1986) is translated into a formal language and an axiomatic theory is defined in which the (translated) laws are deducible. Independence results are also considered.