Some questions of the theory of computational complexity from the point of view of elementary theory of models | Synapse