튜링/칸토어의 논리에서 모순을 일으켰던 1 대 1 대응 관계는 효율적 튜링머신의 귀납적 헤아림에 해당된다.
The supposed 1–1 correspondence with which the Turing/Cantor argument derives a contradiction is a recursive enumeration of the effective Turing machines.