＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- zero-sharp 0#
- zero sheaf
- zero shear viscosity
- zero-shear viscosity
- zero-simple
- zero socle
- zero solution
- zero sound
- zero-spin
- zero spin nuclei
- zero-spin nuclei
- zero square
- zero stability
- zero-stability
- zero state response
- zero-stress statement of vessels
- zero subgroup
- zero subject sentence
- zero-sum
- zero-sum extension
- zero-sum game
- zero sum problem
- zero-sum problem
- zero-sum theory
- zero-sum two-person finite game