EN
In the paper there are introduced two kinds of quantifiers, each of which includes different scope of the changeability of variables. The matter is expounded in two parts: first, it is described a language with the double quantification, second, a formalized theory of the Absolute is constructed. Using philosophical inspirations of St. Thomas Aquinas and Leibniz the aim of the discourse is to determine logical and ontological grounds for the acceptance of the fact of the existence and the uniqueness of the Absolute.