Euclid's definitions

What Euclid actually wrote. Book 1 of the Elements opens with a list of definitions describing the basic building blocks of geometry. The ones that matter most for this chapter, restated close to the original sense, are: A point is that which has no part — no length, no breadth, no thickness at all. A line is breadthless length: it has length but no width, and it extends without gaps or breaks. The ends of a line, when it has ends, are points. A straight line is a line which lies evenly with the points on itself — every point on it sits along the same direction, with no bend. A surface is that which has length and breadth only, no thickness. The edges of a surface are lines. A plane surface is a surface which lies evenly with the straight lines on itself — a flat surface, as opposed to a curved one.

Where the trouble starts. Look at what each definition leans on. "Point" is defined using the word "part." "Line" is defined using "length" and "breadth." "Straight line" is defined using "lies evenly," itself a fairly vague phrase. None of these supporting words — part, length, breadth, evenly — is ever itself defined by Euclid. He assumes the reader already has an intuitive grasp of them. That is not carelessness on his part; it is close to unavoidable. Try to define "part" without using some other undefined word, and you will find yourself going in circles.

Why this is not just an old mistake. Modern mathematics accepts this problem rather than pretending to solve it. Any logical system that starts from definitions has to stop somewhere, because you cannot define every word using only other defined words — eventually the chain must either loop back on itself or terminate in something left unexplained. So instead of chasing an impossible fully-defined vocabulary, mathematicians pick a small set of undefined terms on purpose — in plane geometry, typically point, line, and plane — and fix how those terms behave using a separate list of axioms (also called postulates): statements accepted as true without proof, describing relationships between the undefined terms rather than trying to define the terms themselves. Euclid's own postulates belong to this second, separate list and are outside this article's scope; the point to take from his definitions alone is narrower — they are historically foundational and intuitively useful, but by strict logical standards incomplete, because they quietly depend on words never pinned down.

There is no formula in this topic — it is a conceptual foundation, so the reasoning is verbal rather than computational, but the reasoning still has a clear structure worth walking through.

Why circularity is unavoidable, not a personal failing of Euclid's. Suppose every single word used in geometry had to be formally defined using other words already defined earlier. The very first word defined has nothing earlier to lean on, so it must either be left undefined or defined using a word that appears later — which, once that later word is itself defined, creates a loop. This is a general feature of any system built purely from definitions, not a mistake specific to Euclid; he simply hit it early, at the very base of geometry, because "point," "line," and "surface" really are the most basic objects there are.

Why undefined terms plus axioms fixes it. The modern solution does not eliminate the problem — it relocates it. Instead of trying (and failing) to define point, line, and plane using words, mathematicians declare them undefined on purpose and describe how they behave through axioms: for example, "through any two distinct points there passes exactly one line." This never says what a point is; it only constrains how points and lines relate. Once enough such axioms are laid down, an entire consistent geometry can be built by logical deduction, without anyone ever having to say in words what a point ultimately "is." Euclid's definitions still serve a real purpose here — they give the undefined terms an intuitive, physically grounded meaning — but logically they are optional scaffolding, while the axioms do the actual load-bearing work.

Why this matters for a Class 9 student. Recognising this distinction is the real skill being tested, more than memorising all 23 definitions word for word. When a question asks why geometry cannot be built from definitions alone, the expected answer is precisely this: any chain of definitions must eventually rely on some undefined term, so geometry instead starts from undefined terms fixed by axioms.

Question: Using Euclid's definitions, explain why a line segment has exactly two endpoints while a full line has none, and identify which definitions are used at each step.

Step 1. Recall Euclid's definition of a line: breadthless length that extends without gaps. Nothing in this definition mentions a stopping point — a line, left as Euclid defines it, is unbounded in both directions and therefore has no ends.

Step 2. Recall the separate statement that the ends of a line, whenever a line does have ends, are points. This is a conditional statement — it tells us what an end must be if one exists, but it does not itself claim that every line has ends.

Step 3. A line segment is defined as the part of a line lying between two fixed points on it. Because it is explicitly bounded by those two chosen points, it has exactly two ends, and by the statement above those two ends must themselves be points.

Step 4. Contrast the two cases directly: a straight line has no boundary, so it extends without termination and has no endpoints; a line segment is deliberately cut off at two marked points, so it has exactly two. A ray, for comparison, is bounded on only one side and unbounded on the other, so it has exactly one endpoint.

Conclusion: a line segment has two endpoints because it is explicitly bounded between two points, a line has none because it is unbounded, and a ray has exactly one because it is bounded on only one side.

Competitive stretch

Identify which of Euclid's definitions is being illustrated, and name the undefined word each one leans on: (a) "A dot made with a sharp pencil represents a point." (b) "The boundary of a sheet of paper is made of line segments." For (a), this illustrates the definition of a point — that which has no part. The pencil dot is only a physical stand-in; the true mathematical point has no size whatsoever, so the illustration is always an approximation. The undefined word it leans on is "part." For (b), this illustrates the statement that the edges of a surface are lines: the sheet of paper models a plane surface, and its edges show that a surface is bounded by lines. This leans on the undefined words "length" and "breadth," both used without further definition in the definition of a surface. In both cases the real object only represents the idealised, dimensionless object Euclid describes — a physical dot has some thickness, and a real paper edge has some width, but the mathematical point and line do not.

• Thinking a point drawn on paper IS the mathematical point — Euclid's point has absolutely no size; the dot is only a representation of it.
• Confusing a line with a line segment — a line extends endlessly in both directions with no endpoints, while a segment is the finite, bounded portion between two fixed points.
• Assuming Euclid's definitions are self-sufficient and complete — missing that they secretly use undefined words such as "part," "length," and "breadth" that are never themselves defined.
• Mixing up a surface with a plane surface — a surface only needs length and breadth and could still be curved, while a plane surface must additionally be flat.

Ask the tutor: Still unsure why "point" and "line" can never be fully defined without circularity — ask the AI tutor to walk through Euclid's original list of 23 definitions with more real-world examples.