A mathematical approach to special relativity. (2022)