<mathematics> Cantor's theorem, originally stated for ordinals, which extends inductive proof to recursive construction. The proof is by pasting together "attempts" (partial solutions).
[Better explanation?]
(1995-06-15)
Try this search on Wikipedia, OneLook, Google
Nearby terms: General Purpose Interface Bus « General Purpose Language « General Purpose Macro-generator « General Recursion Theorem » generate » generation » Generic Array Logic
