ABSTRACT
In developing our phonological theory it is necessary to use a certain amount of logical apparatus. That is, the theory should be based on a sufficiently well-developed system of mathematical logic. 1 Any system which provides a free usage of the basic terms of the theory of classes and relations, the theory of natural numbers, of finite sequences of sets and families of sets, and perhaps other notions of a related type, would be sufficient for our purposes. For the sake of definiteness, let us assume that our theory is based on a full system of the simple theory of types. 2
