model theory The branch of logic concerned with mathematical structures—interpretations or ‘models' of formal systems, such as groups, rings, or graphs, with close links to abstract algebra.
model theory
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。