普通の公理的集合論です。
一般相対性理論に微分幾何が使われているなら、
いくつかの物理学的な前提条件を公理として、
追加することで相対性理論が公理化されて、
それをもとに他の理論との強弱が比較できないかなぁ
と思っただけです（当方相対論は勉強したことないです。