1) complete formula
完备公式
1.
And then the complete formulas in atomic model are obtained by filtering types on the model.
构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式。
2) completion
[英][kəm'pli:ʃn] [美][kəm'pliʃən]
完备式
1.
The completion problem for partial inverse M-matrices;
部分逆M矩阵的完备式问题
3) completeness axiom
完备性公理
4) complete axiom set
完备公理集
5) Proper class of triangles
完备预解式
6) Axiom Set
公理完备集合
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条