的函数不能出现在列表中。这证明了第二个问题有否定的答案。
全图灵机的附标的集合.有附标 "e" 的图灵机是否在所有输入上停机的判定问题是不可判定的。事实上，这个问题位于算术层次的 formula_5 级别。因此这个问题严格的比停机问题更困难，它问有附标 "e" 的机器是否停机在输入 "0" 上。直觉的说，在不可解决性上的这个困难在于每个“全机器”问题的实例提出无限多个停机问题的实例。