本質的に決定不能
本質的決定不能性を見よ．