Molecules and Models

Most of the studies in axiomatization and formalization of theories from natural science are about theories of physics and biology. The theory that is discussed here is from the field of chemistry. It is a rather typical theory of the old stamp, that is to say, developed in a time before the merging of physics and chemistry: the structure theory of Couper, Kekule, van’t Hoff and Le Bel.