The nine axioms of junior high school mathematics are that there is only one straight line after two points. The line segment between two points is the shortest, and the complementary angles of the same angle or equal angle are equal, and there is only one straight line perpendicular to the known straight line at one point, and the vertical segments of all line segments connected to the points on the straight line outside the straight line are the shortest. The origin of nine axioms in junior middle school mathematics parallel axioms passes through a point outside the straight line, and there is only one straight line parallel to this straight line. If both lines are parallel to the third line, the two lines are parallel to each other and have the same angle. Axiom is a basic proposition based on the basic fact that human reason is self-evident, which has been tested by human repeated practice for a long time and needs no further proof. Axiom is the basic mathematical knowledge summarized by people in long-term practice, and it is the basis for judging the truth of other propositions. The true proposition of a theorem obtained by reasoning is called a theorem, and this reasoning method is also called proof. Theorem is a statement that is proved to be true after logical restriction. Law is the expression of objective facts, and it is a conclusion summed up through a large number of specific objective facts.