问题
填空题
人们在长期实践中总结出来的公认的真命题,作为证明的原始依据,称这些真命题为______,运用基本定义和公理通过推理证明是真的命题叫______.
答案
公理的定义是经过人类长期反复的实践检验是真实的,不需要由其他判断加以证明的命题和原理.
定理的定义是用逻辑的方法判断为正确并作为推理的根据的真命题.
故答案为:公理;定理.
人们在长期实践中总结出来的公认的真命题,作为证明的原始依据,称这些真命题为______,运用基本定义和公理通过推理证明是真的命题叫______.
公理的定义是经过人类长期反复的实践检验是真实的,不需要由其他判断加以证明的命题和原理.
定理的定义是用逻辑的方法判断为正确并作为推理的根据的真命题.
故答案为:公理;定理.