完全理论

完全理论(complete theory)一种模型论理论.指其推论集合是极大协调集的理论.对于丫的任意模型au，可由在2l中成立的全体真语句构成一个理论，记为Th<}l)，即Th<`}>={o:}l }。，且。