该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
在定义个人主权的形式化描述的基础上，探讨了个人主权与社会选择规则合理指标体系的相容性。
On the basis of the form of the individual liberal right, the compatibility of the individual liberal right and the other properties of the social choice rule are investigated.
它们由线性的因果决定和不相容选言命题的形式构成。
It is formed by linear causal model and incompatible disjunctive proposition.
我们的隔膜计量泵，除了其耐腐蚀性和化学相容性，可以准确地传输液体在客户需要的形式，没有任何泄漏到大气中。
Our diaphragm metering pumps, besides their corrosion resistance and chemical compatibility, can accurately transfer liquids in the customers' desired form without any leakage to the atmosphere.
提出了一种适于相容和不相容两种形式信息系统差别矩阵的统一构造方法，证明了用该差别矩阵求核的正确性。
In this paper, a construction method of discernibility matrix for both consistent information systems and inconsistent information systems is presented.
提出了一种适于相容和不相容两种形式信息系统差别矩阵的统一构造方法，证明了用该差别矩阵求核的正确性。
In this paper, a construction method of discernibility matrix for both consistent information systems and inconsistent information systems is presented.
应用推荐