Euclid's postulates
E555119
Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Euclid's postulates canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5915410 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Euclid's postulates Context triple: [Commentary on the Difficulties of Certain Postulates of Euclid, mainSubject, Euclid's postulates]
-
A.
Playfair's axiom
Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
-
B.
Euclid's Elements
Euclid's Elements is an ancient Greek mathematical treatise that systematically presents the foundations of geometry, number theory, and mathematical proof.
-
C.
Commentary on the Difficulties of Certain Postulates of Euclid
Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
-
D.
Euclidean geometry
Euclidean geometry is the classical mathematical system that studies flat space and shapes using axioms about points, lines, and angles, forming the foundation of much of traditional mathematics and physics.
-
E.
The Foundations of Geometry
The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Euclid's postulates Target entity description: Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
-
A.
Playfair's axiom
Playfair's axiom is a reformulation of Euclid’s parallel postulate stating that through a point not on a given line there is exactly one line parallel to the given line, fundamental to Euclidean geometry.
-
B.
Euclid's Elements
Euclid's Elements is an ancient Greek mathematical treatise that systematically presents the foundations of geometry, number theory, and mathematical proof.
-
C.
Commentary on the Difficulties of Certain Postulates of Euclid
Commentary on the Difficulties of Certain Postulates of Euclid is a mathematical treatise by Omar Khayyam in which he critically examines and attempts to resolve issues in Euclid’s postulates, especially the parallel postulate, laying early groundwork for later developments in geometry.
-
D.
Euclidean geometry
Euclidean geometry is the classical mathematical system that studies flat space and shapes using axioms about points, lines, and angles, forming the foundation of much of traditional mathematics and physics.
-
E.
The Foundations of Geometry
The Foundations of Geometry is a seminal mathematical text by Oswald Veblen that rigorously develops the axiomatic basis of geometry in a modern, logical framework.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
axiomatic system
ⓘ
foundational assumptions of Euclidean geometry ⓘ geometric axiom set ⓘ |
| alsoKnownAs | parallel postulate NERFINISHED ⓘ |
| appliesTo |
plane geometry
ⓘ
two-dimensional space ⓘ |
| approximateDate | 3rd century BCE ⓘ |
| assume |
comparability of right angles
ⓘ
existence of circles ⓘ existence of straight lines ⓘ |
| author | Euclid NERFINISHED ⓘ |
| basedOn | intuitive geometric notions ⓘ |
| characterizedBy |
independence from proof
ⓘ
intended self-evidence ⓘ |
| concerns |
circles
ⓘ
intersecting lines ⓘ line segments ⓘ parallel lines ⓘ points ⓘ right angles ⓘ straight lines ⓘ |
| distinguishedFrom |
Euclid's common notions
NERFINISHED
ⓘ
theorems of Euclidean geometry ⓘ |
| domain | flat space ⓘ |
| field |
geometry
ⓘ
mathematics ⓘ |
| formalizationOf | basic properties of points, lines, and planes ⓘ |
| hasPostulate |
Fifth postulate
ⓘ
First postulate ⓘ Fourth postulate ⓘ Second postulate ⓘ Third postulate ⓘ |
| historicalPeriod | Hellenistic period NERFINISHED ⓘ |
| influenced |
axiomatic method in mathematics
ⓘ
foundations of classical geometry ⓘ |
| languageOfOriginal | Ancient Greek ⓘ |
| ledTo | development of non-Euclidean geometries ⓘ |
| logicalRole | axioms ⓘ |
| notValidIn | general curved spaces ⓘ |
| numberOfElements | 5 ⓘ |
| partOf | Euclidean geometry NERFINISHED ⓘ |
| roleInHistory | starting point for non-Euclidean geometry ⓘ |
| statedIn | Elements NERFINISHED ⓘ |
| statement |
A straight line segment can be drawn joining any two points.
ⓘ
All right angles are equal to one another. ⓘ Any straight line segment can be extended indefinitely in a straight line. ⓘ Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center. ⓘ If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which the angles are less than two right angles. ⓘ |
| usedFor | deriving theorems of Euclidean geometry ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Euclid's postulates Description of subject: Euclid's postulates are the foundational axioms of classical Euclidean geometry, defining basic properties of points, lines, and planes from which the rest of the geometry is logically derived.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
Commentary on the Difficulties of Certain Postulates of Euclid
→
mainSubject
→
Euclid's postulates
ⓘ