“inner model theory”的概念、定义、翻译、参考文献-科学参考

单词	inner model theory
释义	inner model theory Mathematics ＞数理逻辑与数学基础＞集合论＞释义序数可定义性ordinal-definability inner model theory内模型理论
随便看	predicate of first level predicate of first order predicate of n arguments predicate of n variables predicate of second level predicate of second order predicate symbol predicate transformer predicate transformer semantics predicate/transition system predicate variable predicate word predicative predicative analysis predicative definition predicative formal theory predicative ordinal number predicative property predicative proposition predicative set theory predicative variable predicativity predictability predictable predictable characteristic

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。