ZFCにいくつの論理式を加えれば
相対性理論を展開可能でしょうか?