>>630
なるほど、数式だけで証明してしまって、
後で観測すればいいって話?

しかし、
相対性理論も公理系からは外れられないけど、

それはどうするつもり?