Mathematical Theory of Space-Time