完备性

Reasonable Pluralism

理性多元论

罗尔斯在>>里面谈到,理性多元论(reasonable pluralism)的状态是我们这个时代不可回避并将长期存在的事实,政治原则与制度安排应建立在这一现实的基础之上,"政治观念的观点与许多完备性学说的观点之间的二元论,

recursive function

递回函数

1931年哥德尔 (Godel) 证明了著名的不完备性定理, 在其中利用了所谓的 "原始递回函数" (primitive recursive function) 的概念, 因而引起了在30年代中期对 "递回函数" (recursive function) 的研究热潮.

sigma space

空间

sigma monogenic function 单演函数 | sigma space 空间 | sigmacompleteness 完备性

sigmafield of sets

集的域

sigmacompleteness 完备性 | sigmafield of sets 集的域 | sigmalattice 格

soundness theorem

可靠性定理

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

tag

标记

这个方法的主要特点就是在流程图的每一弧线上放置一个"标记"(tag),也就是一个逻辑断言,并且保证只要当控制经过这个弧线时该断言一定成立. 弗洛伊德的主要贡献在于解决了基于这种标记的形式系统的细节,证明了这种系统的完备性,

topological circle

拓扑圆

topological cell 拓扑胞腔 | topological circle 拓扑圆 | topological completeness 拓扑完备性

topological complex

拓扑复形

topological completeness 拓扑完备性 | topological complex 拓扑复形 | topological convergence 拓扑收敛

uniformity

一致性

U-使用(Use),C-产生(Create)(1)完备性(completeness)检验:指对具体的数据 项必须有一个产生者(C)和至少一个使用者(U),功(2)一致性(uniformity)检验:指对具体的数据项必须有且仅有一个产生者(C).

weak closure

弱闭包

weak basis 弱基 | weak closure 弱闭包 | weak completeness 弱完备性

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI