当前位置: X题卡 > 所有题目 > 题目详情

形式的公理化方法在逻辑上的要求,是满足相容性,()和完全性。

查看本题答案

你可能感兴趣的试题

简化公理,信息含量最少  模块化公理,最大限度地减少各功能要求间的“耦合”  简化公理,避免设计参数间的交互作用  模块化公理,实现各子系统并行设计  
“对象---公理---演绎”方法  “假设---演绎”方法  “抽象---演绎”方法  “归纳---演绎---推理”方法  
非负性  非正性  规范性  可列可加性  
组织  综合  表述  以上全部是  
公理系统不具有独立性  公理系统不具有相容性  公理化方法的局限性  公理化方法的优势  
朴素的实质的公理化方法阶段  高级的形式的公理化方法阶段  数学的公理化方法阶段  经济学的公理化方法阶段  物理学的公理化方法阶段  
相容性  独立性  完全性  封闭性  
“数学实验”方法  创造和运用新的数学工具的方法  数学分析和综合的方法  公理化方法  
可维护性  独立性  完全性  相容性  
同一律  不矛盾律  完整性  独立性  排中律