1、公理是一些显而易见、能被大家所接受的但却是无法证明的命题。
任何一门数学学科都是建立在某一个或几个公理的基础上演绎而成的。例如平面几何是建立在三条公理的基础上的，例如“过两点可以作并且只可以作一条直线。”、“两条直线被第三条直线所截,如果同位角相等,那么这两条直线平行”这是无法证明的，只能把它作为公理。当然作为一门学科，公理应该越少越好。
（
平面几何十大公理
1.过两点有且只有一条直线.
2.两点之间,线段最短.
3.垂线段最短.
4.过一点有且只有一条直线与已知直线垂直.
5.过直线外一点有且只有一条直线与已知直线平行.(平行公理)
6.同位角相等,两直线平行.
7.有两边及其夹角对应相等的两个三角形全等.(SAS)
8.有两角及其夹边对应相等的两个三角形全等.(ASA)
9.三边对应相等的两个三角形全等.(SSS) 10.斜边和一条直角边对应相等的两个直角三角形全等.(HL)
也有六大公理的说法只是有些合关到一起了。
1.过两点有且只有一条直线.
2.两点之间,线段最短.
3.过一点有且只有一条直线与已知直线垂直
4. 过直线外一点有且只有一条直线与已知直线平行.(平行公理)
5. 同位角相等,两直线平行
6.三角形的全等SAS ASA SSS
）
2、定义就是规定，为了说起来方便，也为了学习数学的时候大家有共同的语言，对一些概念、名词、记号等等必须作出规定，这就是定义。在这里常常看到一些人说出非常外行的话，甚至概念混淆，这些人与学习数学的人之间还没有共同语言，所以很多问题没有办法说清楚。
数学命题(mathematical proposition)是一类重要的命题，通常指数学中的判断。数学中的定义、公理、公式、性质、法则、定理都是数学命题.
命题这个概念是可以被定义并观察的现象.命题不是指判断（陈述）本身,而是指所表达的语义.当相异判断（陈述）具有相同语义的时候,他们表达相同的命题.即定义是人为规定的,命题是判断句式,命题有真假,定义没有。
真命题：逻辑学术语。真值只能取两个值：真或假。真对应判断正确，假对应判断错误。任何命题的真值都是唯一的，称真值为真的命题为真命题。（真命题就是正确的命题，即如果命题的题设成立，那么结论一定成立．如：
①两条平行线被第三条直线所截，内错角相等．
②如果a＞b，b＞c那么a＞c．
③对顶角相等．
公理是人们在长期实践中总结出来的、正确的命题，它不需要用其他的方法来证明，初一几何中我们过的主要公理有：
①经过两点有一条直线，并且只有一条直线．
②经过直线外一点有且只有一条直线与这条直线平行．
③同位角相等，两直线平行．
④两直线平行，同位角相等．
）
定理是根据公理或已知的定理推导出来的真命题．这些真命题都是最基本的和常用的，所以被人们选作定理．还有许多经过证明的真命题没有被选作定理．所以，定理都是真命题，而真命题不都是定理．例如：“若∠1=∠2，∠2=∠3，那么∠1=∠3”，这就是一个真命题，但不能说是定理．我们在以后数学学习和处理数学问题（例如解题时）的时候可以使用，一门数学学科学习得如何，很大程度上取决于对定理的熟悉程度。
总之，公理和定理都是真命题，但有的真命题既不是公理．也不是定理．公理和定理的区别主要在于：公理的正确性不需要用推理来证明，而定理需要证明．
3、定理就是经过证明的命题，
4、推论也是定理，如果一个结论非常容易由某个定理的结论稍作处理后得到，常常把这样的定理写作是这一个定理的推论。
公理
我们学过一些图形的性质,都是真命题.其中有些命题,如“两点确定一条直线”、“两条直线被第三条直线所截,如果同位角相等,那么这两条直线平行”等,它们的正确性是人们在长期的实践中总结出来的,并作为判定其他命题真假的根据,这样的真命题称为公理.
定理和证明
还有一些命题,例如“对顶角相等”、“两直线平行,内错角相等”等,它们的正确性是用推理证实的,这样的真命题叫做定理,
叫做证明.
下面,我们以证明“”来说明什么是证明.
从这个例子可以看出,证明是由题设（已知）出发,经过一步步的
推理,最后推出结论（求证）正确的过程.
注意,证明中的每一步推理都要有根据,不能“想当然”.这些根
据,可以是已知条件,也可以是定义、公理、已经学过的定理.在初学
证明时,要求把根据写在第一步推理后面的括号内,其中象等量代换,
利用等式性质加减乘除等代数运算可不注理由
