由于既不是可判定的也不是不可证明的,因此是不可判定的。
不可判定
另请参阅
哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 递归不可判定, 赖斯定理, 理查森定理使用 Wolfram|Alpha 探索
引用为
Eric W. Weisstein "不可判定。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/Undecidable.html
由于既不是可判定的也不是不可证明的,因此是不可判定的。
Eric W. Weisstein "不可判定。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/Undecidable.html