EN
The subject of this article is the symbol mechanism proposed by J.F. Drewnowski as a tool for the accurate formulation of sentences in science, including theology. The tool consists of three elements: classical propositional calculus, classical predicate calculus without variable functors and constant functor of the elementary proposition f (x,y,z). This sentence contains three arguments of three different types that correspond to the frame of reference, things and qualities of things. The purpose of this article is to show the language apparatus in the context of author’s other works as well as explain the terms characteristic for the author in order to enable the assessment of the value and timeliness of this idea.