查询词典 completeness theorem

compactness theorem：紧致性定理

完备性定理 completeness theorem | 紧致性定理 compactness theorem | 可公理化 axiomatizable

completeness theorem：完全性定理

completeness 完全性 | completeness theorem 完全性定理 | completion 完备化

completeness theorem：完备性定理

可靠性定理 soundness theorem | 完备性定理 completeness theorem | 紧致性定理 compactness theorem

Godel completeness theorem：哥德尔完全性定理

globe 球,天体 | Godel completeness theorem 哥德尔完全性定理 * | Godel incompleteness theorem 哥德尔不完全性定理 *

theorem of completeness：完全性定

theorem of butterfly 蝴蝶定 | theorem of completeness 完全性定 | theorem of cosines 余弦定

soundness theorem：可靠性定理

语义 semantics | 可靠性定理 soundness theorem | 完备性定理 completeness theorem

theorem of cosines：余弦定

theorem of completeness 完全性定 | theorem of cosines 余弦定 | theorem of proportion by addition 合比定

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;