Euclid — "Things which coincide with one another are equal to one another."
Things which coincide with one another are equal to one another.
Things which coincide with one another are equal to one another.
Click any product to generate a realistic preview. Up to 3 at a time.
* Initial load can take up to 90 seconds — revising the preview in another color is nearly instant.
"Sire, there is no royal road to geometry."
"Let it be granted that a finite straight line may be produced to any length in a straight line."
"That all right angles are equal to one another."
"If a straight line be cut into two equal parts and also into two unequal parts, the rectangle contained by the unequal parts together with the square on the line between the points of section is equal…"
"The laws of nature are but the mathematical thoughts of God."
Found in 3 providers: grok,deepseek,gemini
3 sources checked
If two things can be perfectly placed on top of each other with no gaps or overlaps, they are equal. This defines equality through congruence — a direct, physical test of sameness. Rather than declaring things equal abstractly, you prove it by demonstration: if one thing maps exactly onto another, they share the same measure. It anchors mathematical truth in observable, verifiable reality.
This is Common Notion 4 from Euclid's Elements, written around 300 BCE — one of his five foundational axioms requiring no proof. Euclid's defining contribution was building all geometry from the smallest possible set of undeniable starting points. This axiom reflects his axiomatic method: state only what is self-evident, then derive every theorem through pure deduction. It mirrors his character as a rigorous systematizer, not an inventor, but an architect of knowledge.
Around 300 BCE in Alexandria under Ptolemy I, Greek mathematical traditions were being systematized for the first time. Greek philosophy demanded knowledge flow from first principles, not observation or authority alone. Euclid's axioms were culturally radical: geometry needed no priests, rulers, or empirical tools — only self-evident starting points and logical reasoning. This made mathematical truth universal and portable, accessible to anyone capable of following an argument.
AI-generated insights based on extensive research and information for context. Factual errors? Email [email protected].
Your cart is empty