Whether such sets exist is known as Post's problem.
そのような集合が存在するかどうかはポストの問題として知られる。