Tolong jelaskan mengenai Formalisme matematik dari Masa wajar dalam bahasa melayu

Definisi rasmi masa wajar melibatkan pemerian laluan melalui ruang masa yang mewakili sebuah jam, pemerhati, atau zarah ujian, dan struktur metrik ruang masa tersebut. Masa wajar merupakan kepanjangan arka pseudo-Riemannan bagi garis-garis dunia dalam ruang masa empat dimensi.

Dari sudut pandangan matematik, masa koordinat dianggap sudah sedia ditentukan, malah kita memerlukan ungkapan untuk masa wajar sebagai fungsi masa koordinat. Dari sudut pandangna eksperimentasi pula, masa wajar adalah sesuatu yang diukur dengan ujikaji, kemudian masa koordinat dihitung dari masa wajar beberapa jam yang inersia.