criterion for consistency of sets of formulas
Let be a first order language, and be a set of sentences. Then is consistent if and only if every finite subset of is consistent.
单词 | CriterionForConsistencyOfSetsOfFormulas |
释义 | criterion for consistency of sets of formulasLet be a first order language, and be a set of sentences |
随便看 |
|
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。