On the Forms of the Predicates in the Theory of Constructive Ordinals