1) complete l group
完备l-群
2) L-fuzzy complete lattices
L-fuzzy完备格
1.
Further,the definition of L-fuzzy complete lattices are given and the properties of L-fuzzy complete lattices are discussed.
第2章:通过对给出的L-fuzzy上界集的定义进行研究,证明了L-fuzzy上界集的一些性质,并对其进行等价刻画:在此基础上,又给出了L-fuzzy完备格定义。
3) complete Lie group
完备李群
1.
In this paper, we will investigate relations between complete Lie groups and complete Lie algebras.
本文给出完备李群与完备李代数的某些关系。
4) complete group variety
完备群簇
5) perfect wrpp semigroups
完备wrpp半群
1.
We study a class of wrpp semigroups, namely the perfect wrpp semigroups, and some characterization theorems for such semigroups are give.
研究一类wrpp半群,即完备wrpp半群,并给出完备wrpp半群的若干性质定理。
6) complete subsemigroup
完备子半群
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条