Axiomatic theory of real numbers