资料来源 : Free On-Line Dictionary of Computing

General Recursion Theorem
     
         {Cantor}'s {theorem}, originally stated for
        {ordinal}s, which extends {inductive} proof to {recursive}
        construction.  The proof is by pasting together "attempts"
        (partial solutions).
     
        [Better explanation?]
     
        (1995-06-15)