mathematics Cantor's theorem, originally stated for

ordinals, which extends inductive proof to recursive

construction. The proof is by pasting together "attempts"

(partial solutions).