 Using an extended version of the representation system from  Definition 5.11  if  \(\nu&gt;\omega\),[29]  the outcome of all the work on the theories of inductive definitions can be summarized by the following  theorem.[30] 