B定理 　　定理：是通过理论证明能用来作为原则或规律的命题或公式. 　　公理：也就是经过人们长期实践检验、不需要证明同时也无法去证明的客观规律. 　　在数学中,所有的定理都必须给予严格的证明,但公理却是不必证明的,并且还不允许问为什么. 　　定义：人们相互交流必须对某些名称和术语有共同的认识才能进行.为此,就要对名称和术语的含义加以描述,作出明确的规定,也就是给出它们的定义. 　　条件和结果相矛盾的命题是假命题