Therefore, it cannot be total, but the function by construction must be total (if total functions are recursively enumerable, then this function can be constructed), which is a contradiction.
Стога не може да буде тотална, али функција по конструкцији мора да буде тотална (ако су тоталне функције рекурзивно пребројиве, онда ова функција може да буде конструисана), и ту се јавља контрадикција.