complete (in logic) If a set of axioms describing a system is complete, then any true statement within that system can be deduced from the axioms. See Gödel's Completeness Theorem, Gödel's Incompleteness Theorems.
complete
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。