完全理論

完全理論(complete theory)一種模型論理論.指其推論集合是極大協調集的理論.對於丫的任意模型au，可由在2l中成立的全體真語句構成一個理論，記為Th<}l)，即Th<`}>={o:}l }。，且。為丫的語句}.則稱該理論是一個完全理論.關於理論T的完全性，常用下列兩種等價的定義:

1.若o}l},}是T的任意兩個模型，則2l=.}.

2.對驢中的任意語句。，或