Stanisław Leśniewski is the author of the famous verbal argumentation claiming that the universals do not exist. Bolesław Sobociński expressed this argumentation, in accordance with its author`s intentions, in elementary ontology, enriched with an additional assumption (TL1), which is of key importance for it. In the framework of the theory of universals sketched in this way, the above-mentioned conclusion occurs (TL7). The paper shows that this argumentative assumption (TL1) is unacceptable. It is artificial and incompatibile with the assumptions adopted implicitly by the supporters of the existence of universals. Based on elementary ontology enriched with Frege`s predication scheme (OEsub), we shall introduce the functor universal by definition (DP). In the framework of OEsub system one can talk of universals in a coherent way and it is impossibile to reconstruct the above argumentation (TL7 is not these here)