不是可判定的由于既不正式可证明或不可证明。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“无法确定。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Undecidable.html
