名词解释

【参考答案】

是命题的类型之一,是由公理推导出来的,可被经验事实所检验。