General relativity based on intuitionistic logic

The article represents the theory gravity based on Kock-Lower’s infinitosimal analysis. Transition from classical differential and integral calculus to Kock-Lower’s analysis means the transition from the classical two-valued logic to intuitionistic logic. Set theory is not may already serve as a way of interpreting the objects of such a theory, and it is necessary to use the theory of smooth topoi. Topos models represent the Universe around us more multifaceted, multivariate consisting of an infinite variety of different many-dimensional "parallel"worlds which are endowed with new physical properties.