The diagonalization argument presupposes a completed enumeration of all partial computable functions...