We use this construction to prove new undecidability results.

• 我们使用这个作图来证明新的不可判定性的结果。