SPACE, TIME AND FUNDAMENTAL INTERACTIONS

GENERAL RELATIVITY BASED ON INTUITIONISTIC LOGIC

Guts A.K.

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.