2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/35829We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein theory of space-time. This is a new theory of space-time, created in a purely logical manner. Four possibitities are investigated: axiomatic approach to causal theory of space-time, the smooth toposes as a models of Theory of Relativity, Synthetic Theory of Relativity, and space-time as Grothendieck topos.13 pages, LATEX, email guts@univer.omsk.su, grinkev@univer.omsk.suGeneral Relativity and Quantum Cosmologytext