А, скажем, доказательство неразрешимости halting problem это не напоминает? В литературе по computer science оно и подобные доказательства называют доказательствами с помощью диагонализации, ссылаясь при этом на Кантора как на первый пример. Наверное, нужно было озаглавить сообщение "Computer science и литература".