完全性
形式系统的基本性质之一。1.语法完全性分别具有强意义和弱意义。前者指：属于一形式系统的每一公式或者是可证的，或者是不可证的；后者指：如果把一形式系统中的不可证公式加到公理中去将导致矛盾。2.语义完全性分别具有绝对意义和相对意义。前者指：一形式系统中的普遍有效式当且仅当是该系统中的可证公式。后者指：相对于一形式系统的某个解释，与该解释中的真句子相应的形式系统中的公式都是可证的。形式系统最好能但不一定满足完全性。
完全性
又称“完备性”。设X是服从参数分布族
的一个随机变量，若对一切θ∈Θ，由Eθ[u(X)]=0可推出对一切θ∈Θ,P[u(X)=0]=1，则称该分布族是完全的。如果一个充分统计量的抽样分布是完备的，则称该充分统计量为充分完备统计量。常被应用于测验分数统计中。