在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
相关考题：
下列关于Armstrong公理系统的叙述中，错误的是______。A．Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中B．Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来C．通常把自反律、传递律和增广律统称为Armstrong公理系统D．Armstrong公理系统中的传递律就是传递函数依赖
公理是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。公理都是用来推导其他命题的起点。工程力学中常用的公理有：A．二力平衡公理B．加减平衡力系公理C．力的平行四边形法则D．作用与反作用公理
7、下列说法中，正确的有：A．命题A与非A都能导出叫系统“不相容”B．命题A与非A都不能导出叫系统“不完全”C．每一个公理不可由其它公理推出叫系统的“独立性”D．命题A与非A都能导出叫系统“不完全”E．命题A与非A都不能导出叫系统“不相容”F．含有“不可判定命题”的系统叫“不独立”
命题通常有公理、_______、________、假设等类型。