证明: prove; testify; bear out与: take part in; participate in完备: complete; perfect性: nature; character; dispositi ...完备性: complete metric space; sigmacompleteness变分完备性: variational completeness关系完备性: relation completeness; relational completeness逻辑完备性: logic completeness; logical completeness模型完备性: completeness of a model弱完备性: weak completeness实际完备性: actual completeness数学完备性: mathematical completeness拓扑完备性: topological completeness完备性定理: completeness theorems完备性公理: axiom of completeness信号完备性: signal integrity序列完备性: sequential completeness组合完备性: combinatorial completeness保险的完备性: adequacy of insurances戴德金完备性: least upper bound axiom模型的完备性: completeness of a model实数的完备性: completeness of real numbers模型的数学完备性: mathematical completeness of model推理规则的完备性: completeness of inference rule; completeness of rules of inference推理规则完备性: inference rule completeness