  The topos theory is a theory which is used for deciding a number of problems
of theory of relativity, gravitation and quantum physics. It is known that
topos-theoretic geometry can be successfully developed within the framework of
Synthetic Differential Geometry of Kock-Lawvere (SDG), the models of which are
serving the toposes, i.e. categories possessing many characteristics of
traditional Theory of Sets. In the article by using ideas SDG, non-classical
spherically symmetric solution of the vacuum Einstein equations is given.
