2017年中考数学专题《命题、定理、证明》复习课件（共30张PPT）
从上可以看到，在判断一个命题是否为真命题时常常要利用一些概念的定义，但是光用定义只能判断一些很简单的命题是否为真.
事实上，对于绝大多数命题的真假的判断，光用定义是远远不够的.
古希腊数学家欧几里得（Euclid，约公元前330—前275年）对他那个时代的数学知识作了系统的总结，他挑选了一些人们在长期实践中总结出来的公认的真命题作为证明的原始依据，称这些真命题为公理.