Thierry Coquand Henri Lombardi A note on the axiomatisation of real numbers. 224-228 2008 54 Math. Log. Q. 3 http://dx.doi.org/10.1002/malq.200710039 db/journals/mlq/mlq54.html#CoquandL08