Ընդհանուր հարաբերականության տեսության մաթեմատիկական ձևակերպում