The chapter on the construction of the real numbers has been rewritten.