This is impossible, because a machine T {\displaystyle T} could be constructed such that on input i the machine T returns T i ( i ) + 1 {\displaystyle T_{i}(i)+1\,} .
Ово је немогуће, јер би машина T {\displaystyle T} могла да буде конструисана тако да за улаз i машина T враћа T i ( i ) + 1 {\displaystyle T_{i}(i)+1\,} .