理論の一様本質的決定不能性と再帰的分離不能性の同値性