TWIN PARADOX AND THE LOGIC FOUNDATION OF SPACE-TIME