新井御大が量子論を数学的に整備しようと頑張ってるけど
相対論はこれ以上数学的にはすることってないの?