Michael Rathjen The natural numbers in constructive set theory. 83-97 2008 54 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200710036 db/journals/mlq/mlq54.html#Rathjen08