-
完全理論
鎖定
完全理論(complete theory)是一種模型論理論,指其推論集合是極大協調集的理論。
- 中文名
- 完全理論
- 外文名
- complete theory
- 所屬學科
- 數學
完全理論(complete theory)一種模型論理論.指其推論集合是極大協調集的理論.對於丫的任意模型au,可由在2l中成立的全體真語句構成一個理論,記為Th<}l),即Th<`}>={o:}l }。,且。為丫的語句}.則稱該理論是一個完全理論.關於理論T的完全性,常用下列兩種等價的定義:
1.若o}l},}是T的任意兩個模型,則2l=.}.
2.對驢中的任意語句。,或
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:8次歷史版本
- 最近更新: zhbar