God and semantics of possible worlds: multilevel ontologies as a method of solving an old problem

One of the classic problems of modern analytical theology is to build an ontology so that it was a place in it for such an object as “God”. The author seeks to show the way of solving this problem by ontology based on the “possible world” notion. The author effectively uses her earlier idea of codependent multilevel ontology in cases of construction of the proof of existence of an object.