弱完备性,weak completeness

1)weak completeness
弱完备性

2)Weak completion theorem
弱完备性定理

3)weak sequential completeness
弱序列完备性
1.
The properties of vector sequence spaces with variable basic sequences of subspaces, including completeness, conjugate space, sequential convergence, compactness,separability, reflexivity, weak sequential completeness and Schauder bases, etc.
本文研究基子空间序列可变的矢值序列空间的特性，其中包括完备性、共轭空间、序列收敛性、紧性、可分性、自反性、弱序列完备性和绍德尔基等性质。



4)weak completeness
弱完备

5)completely weakly modular
完备弱模
1.
To begin with,we define two conceptions,completely weakly modular and chain separable.
定义了完备弱模和链可分的概念，并且证明如下结果：（１）设Ｌ是完备格且ｃｏｎｃ（Ｌ）＝ｃｏｎｃｄ（Ｌ），则ｃｏｎｃ（Ｌ）是Ｂｏｏｌｅ格当且仅当Ｌ是完备弱模的，并且θ∈ｃｏｎｃ（Ｌ），θ是链可分的。



6)weak completions
弱完备化


补充资料：哥德尔不完备性定理
哥德尔不完备性定理
Gdel'sincompletenesstheorem

数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。
哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

弱完备性,weak completeness