Informasi yang berkaitan dengan ar/Decidability of first-order theories of the real numbers