一般相対論の方程式の求め方はある程度わかったんですが。
アインシュタインテンソルなどを微分したらゼロになるから式が定まると。
式の一意性はLovelock(1971)にあるらしいですがネット上で証明ないですか。