>そりゃそうだけど別々の公理系では意味論が違うんだから翻訳できなきゃ同一視できないでしょ
>要するに高次の理解がないと具体的に結びつけられない
アンシュタインの相対性理論はニュートン力学を包括し、ある条件下で近似的にニュートン力学
になるっていう理解なんですが、新しい公理系は既存の公理系の定義や公理を一般化して
包括してることを示すと想像してるんですが、既存公理系の定義や公理の意味を広義解釈
して包括あるいは同値の関係にあることを示すんでしょうか