填空题在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
填空题
在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
参考解析
解析：
暂无解析
相关考题：
下列关于Armstrong公理系统的叙述中，错误的是______。A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来C．通常把自反律、传递律和增广律统称为Armstrong公理系统D．Armstrong公理系统中的传递律就是传递函数依赖
在一个逻辑证明中，可以作为基本论据的命题有（）。A、真实性明显的事实性命题B、真实性不言自明的公理或科学定理C、真实性尚未确定的命题D、经过实践反复检验的一般性理论和原则E、具有法律效力的法律规范
多选题在一个逻辑证明中，可以作为基本论据的命题有（）。A真实性明显的事实性命题B真实性不言自明的公理或科学定理C真实性尚未确定的命题D经过实践反复检验的一般性理论和原则E具有法律效力的法律规范
单选题（）是按照一定的逻辑规定，即以若干定理、公理、定律为前提，直接推导出新结论的推理方法。A信息交合法B演绎法C仿生法D形态分析法