 Thus it is clear that the introduction of the Axiom of Reducibility is the appropriate means to turn the calculus of levels into a system out of which the foundations for higher mathematics can be developed. 