Comment by WallWextra

If you define the reals axiomatically, you still need an existence proof. Which will involve addition and multiplication algorithms.