不可判定

由於既不是可判定的也不是不可證明的，因此是不可判定的。

另請參閱

哥德爾第一不完備性定理, 哥德爾第二不完備性定理, 遞迴不可判定, 賴斯定理, 理查森定理

使用探索

更多嘗試

引用為

Eric W. Weisstein "不可判定。" 來自 ——Wolfram 網路資源。 https://mathworld.tw/Undecidable.html

主題分類