Abstract

Briefly sketches a standard form of the development of analysis within the Constructibility Theory. Then develops an axiomatized theory of lengths, in terms of which a system of rational and real numbers is specified. These developments are used to provide the basis for a theory of functions of real and complex variables.