ALL meanings of general recursion theorem
- noun Technical meaning of general recursion theorem (mathematics) Cantor's theorem, originally stated for ordinals, which extends inductive proof to recursive construction. The proof is by pasting together "attempts" (partial solutions). 1