Indeed, if g were a total computable function extending f then g would be computable by some Turing machine; fix e as the index of such a machine.
Ako bi g bila totalno izračunljiva funkcija koja proširuje f, tada bi g bila izračunljiva nekim Turingovim strojem; fiksirajmo tad e kao indeks takvog stroja.