完全理论

指基于某个一阶语言L之上的理论T。满足：对于任意语句σεS(L),T σ和T⇁σ中有且只有一成立。这里S(L)表示L中所有句子的集合；T 表示可由T推出。