这样的真理命题叫做(公理),这样的命题s在本系统中无需其他命题s证明，它们是本系统中其他命题s的基本命题s,推理的过程叫做(证明)；交换a命题的命题和结论，得到命题和原命题是(倒易)命题,原命题为真命题，其逆命题(不一定)为真命题,这样的道理命题叫做(定理)。
axiom: 1)经人类实践长期检验，为真且无需其他判断证明的命题 and原理。2)演绎系统的初始阶段命题。这样的命题 s在本系统中无需其他命题 s证明，它们是本系统中其他命题 s的基本命题 s。定理: 1，命题(公理或其他证明定理)，通过逻辑推导证明是正确的结论，如“平行四边形的2。一般来说，在数学中，只有重要的或有趣的陈述才叫做定理，这证明了定理是数学的中心活动。一个被认为是真的但没有被证明的数学陈述就是猜想，当它被证明是真的时候就是定理。它是定理的来源，但不是唯一的来源。一个由other 定理推导出来的数学叙事，在不被证明为猜想的情况下，就可以变成定理了。
一般在数学中，我们把用语言、符号或公式表示的，可以判断真假的陈述句称为命题。判断为真的语句称为真命题，判断为假的语句称为假命题。从真理出发命题(公理或其他被证明的定理)通过逻辑演绎被证明为正确结论的命题或公式，例如“平行四边形的对边相等”是平面几何中之一。一般来说，在数学中，只有重要的或有趣的陈述才叫做定理，这证明了定理是数学的中心活动。一个被认为是真的但没有被证明的数学陈述就是猜想，当它被证明是真的时候就是定理。它是定理的来源，但不是唯一的来源。一个由other 定理推导出来的数学叙事，在不被证明为猜想的情况下，就可以变成定理了。如上所述，定理需要某种逻辑框架，进而形成一套公理(公理系统)。同时，一个推理的过程允许new 定理和其他先前发现的定理从公理中推导出来。在命题 logic中，所有被证明的语句都被称为定理
3、 命题、定义、公理、 定理、证明判断一个事物的语句叫做(命题)。正确的说法叫(true 命题)，错误的说法叫(false 命题)，解释名词含义使每个名词不互相混淆的语句叫做(定义)。我们所学的图形属性都是(true 命题)，有些是真的命题，它们的正确性是人们在长期实践中总结出来的，作为判断别人命题真假的依据。这样的真理命题叫做(公理)，有些命题，他们的正确性是通过推理来证实的。这样的道理命题叫做(定理)，推理的过程叫做(证明)；交换a 命题的命题和结论，得到命题和原命题是(倒易)命题。原命题为真命题，其逆命题(不一定)为真命。
