In order to make the above example completely rigorous, one would have to carefully construct a Turing machine, or λ-function, or carefully invoke recursion axioms, or at best, cleverly invoke various theorems of computability theory.
Да би направио горњи пример потпуно ригорозним, један би морао да пажљиво изгради Тјурингове Машине, или λ-функцију, или пажљиво позвати рекурзије аксиоме, или у најбољем случају, мудро позивати различите теореме теорије израчунљивости.