1) full Poncelet's theorem
完全Poncelet定理
2) Poncelet's theorem
Poncelet定理
3) completeness theorem
完全性定理
1.
By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell’s method to prove a completeness theorem on relational algebraic semantics of those system.
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
4) Godel's Incompleteness Theorem
Godel不完全性定理
5) complete reducibility theorem
完全可约性定理
补充资料：[styrene-(2-vinylpyridine)copolymer]
分子式：
分子量：
CAS号：
性质：学名苯乙烯-2-乙烯吡啶共聚物。微黄色粉末或透明小颗粒晶体。无臭，无味。不溶于水，溶于酸、乙醇、丙酮、氯仿。有抗水、防潮性能，适用于多种药片的包衣等。
分子量：
CAS号：
性质：学名苯乙烯-2-乙烯吡啶共聚物。微黄色粉末或透明小颗粒晶体。无臭，无味。不溶于水，溶于酸、乙醇、丙酮、氯仿。有抗水、防潮性能，适用于多种药片的包衣等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条