現時点では、理屈の上で矛盾が生じない理論ってだけで、証明できてるわけじゃないでしょ