The first part of this paper was solely concerned with
presenting descriptive formalisms. In this part we shall establish a
few of the properties of the entities we previously introduced. The
most important section is section 8 which deals with recursion
induction.