证明生成L或L补语的语法集是不确定的

Question

让X成为常规语言，我需要证明{G | L（G）= X}或{G |使用以下提示无法确定L（G）= X补码： 假设这两个集合都是可判定的，并且得出结论Universality是可判定的，则将使用减少到荒谬。

普遍性问题是

这是不确定的。

我认为目标是得出结论：通用性是可以决定的，也许可以减少，这意味着通用性在确定性方面存在矛盾。