複製鏈接
請複製以下鏈接發送給好友

完全理論

鎖定
完全理論(complete theory)是一種模型論理論,指其推論集合是極大協調集的理論。
中文名
完全理論
外文名
complete theory
所屬學科
數學
完全理論(complete theory)一種模型論理論.指其推論集合是極大協調集的理論.對於丫的任意模型au,可由在2l中成立的全體真語句構成一個理論,記為Th<}l),即Th<`}>={o:}l }。,且。為丫的語句}.則稱該理論是一個完全理論.關於理論T的完全性,常用下列兩種等價的定義:
1.若o}l},}是T的任意兩個模型,則2l=.}.
2.對驢中的任意語句。,或
公式 公式 [1]
參考資料
  • 1.    數學辭海(第四卷)