complete axiom set

complete axiom set 基本解释

网络  完备公理集

计算机

重点词汇

• setn. 日落, 同伙, 组合, 集合, 装置 vt. 放, 安置, 放置, 设定, 使凝结, 点燃, 确定, 点缀, 使就位, 树立, 分配, 调整 vi. 日落, 凝固, 定型, 搁住, 结果, 适合 a. 决心的, 规定的, 故意的, 持久的, 固定的, 老套的, 准备好的 [计] 设置; DOS内部命令:改变或显示分配给环境变量的值
• axiomn. 自明之理, 公理, 原理, 格言 [法] 公理, 原理, 原则
• completea. 完全的, 十足的, 完成的 vt. 完成, 完工, 使圆满

complete axiom set 双语例句

1. 1、 The third, I demonstrated that the Boolean_valued model V B ( where B is a complete Boolean algebra) of ZFC axiom system in set theory is, too, a Boolean valued model of the deontic logical systems D 1? D 2 and D 3.
   最后证明集合论的ZFC公理系统的布尔值模型VB（B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。
2. 2、 The complete axiom set of MP~ M
   中介命题演算系统MP~M的公理完备集