theory of reals

Theory of real-closed field。

关于实数的理论，带乘法和量词。可以判定（Tarski–Seidenberg theorem）。复杂度是double exponential。