The system of axioms on state variable weights and variable weights is studied.
“物权变动说”、“物权状态与变动说”、“物权状态说”各有其合理性。
This system is self-suffient in the sense that if we wish to deduce an equality involving only some of the three functions, then we need only to make use of the corresponding axioms.
此外，本系统中的各组原始公理还是自足的，即如想推出只含某些函数符号的永真公式时只须使用相应的公理便成。
Two groups of axioms in the natural axiom system of probability theory are set up.
建立《概率论自然公理系统》中的第组和第组公理。
Within this model, semantic analyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中，对模态逻辑形式推理系统的公理进行语义分析。
Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.
内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。
Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.
内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。
应用推荐