Axiomatization is a mathematical method. It first appeared in Euclidean geometry more than 2000 years ago. At that time, it was considered that "axioms" (such as the connection between two points) were self-evident principles and did not need to be proved, while other so-called "theorems" (such as the congruence of two triangles with three corresponding sides) needed to be proved by axioms. In the18th century, Kant, a German philosopher, thought that Euclid's axiom of geometry was innate transcendental knowledge of human beings, 56661
The first stage of the development of axiomatic method is from Aristotle's complete syllogism to the appearance of Euclid's Elements of Geometry. In the 3rd century BC, Aristotle, a Greek philosopher and logician, summarized the abundant data of geometry and logic, systematically studied syllogism, and took mathematics and other deductive disciplines as examples, from which all other syllogisms were deduced, thus making the whole syllogism system an axiomatic system. Therefore, Aristotle put forward in history.
Aristotle's way of thinking deeply influenced the Greek mathematician Euclid at that time. Euclid applied the axiomatic deduction method of formal logic to geometry, thus completing an important work in the history of mathematics, Geometry Elements. He extracted a series of basic concepts and axioms from ancient geodesy and primitive intuition about geometric shapes through abstract analysis. He summed up the basic proposition of 10, including five postulates and five axioms, and then deduced all the geometric knowledge known at that time by deductive method, and arranged it into a deductive system. The book "Elements of Geometry" applies the axiomatic method preliminarily summarized by Aristotle to mathematics, sorts out, summarizes and develops a great deal of mathematical knowledge in classical Greece, and sets up an immortal monument in the history of mathematical development.