しかし、この直観を明確化するのは難しく、同一性の明確な定義が必要となる（停止性問題の結論のように決定不能と考えられている）。
不幸的是，使得这样的直觉知识变得准确是很难的，大多产生难处理的相同特征（在大多数情况下也必须是不可判定的，作为停机问题的结果）。