Ой да чего там формулировать-то? Ну взяли четырёхмерное вещественное аффинное пространство с квадратичной формой сигнатуры

и ориентацией, ну выбрали систему координат с базисом с вектором с положительным квадратом и тремя векторами с отрицательными, ну назвали соответствующую первому координату
временно́й, ну потом взяли кривую, все касательные векторы которой имеют положительный квадрат, ну нарекли её натуральный параметр
собственным временем, ну… а чего ну — всё, конец.
Я ничего не пропустил? Это сжатое изложение уже сколько недель на языке вертится.
Ну да, надо бы согласовать с ориентацией пространства. А чего-то заело, как именно.