完全性との関係

ウィキペディア小見出し辞書

完全性との関係

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:10 UTC 版)

「決定可能性」の記事における「完全性との関係」の解説

決定可能性は完全性とは異なる。例えば代数的閉体の理論は決定可能だが完全ではなく、加法と乗法のある言語における非負整数に関する全ての真の一階の文の集合は完全だが決定不能である。