Formalization of Time and Space