Hilbert's system of axioms 希尔伯特公理体系
completely independent system of axioms 完全独立公理系统
independence of axioms system 公理系统的独立性
axioms system of boolean algebra 布尔代数的公理系统
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.
建立《概率论自然公理系统》中的第组和第组公理。
应用推荐