>>436
>具体的には?

例えば、タイムマシーンは未来には行けても過去には行けないっていう論理を考えたり、一般相対性理論にバグがあると証明したり。