Playfair's axiom
E519271
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.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Euclid's fifth postulate | 1 |
| Playfair's axiom canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5438490 — 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: Playfair's axiom Context triple: [John Playfair, notableWork, Playfair's axiom]
-
A.
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.
-
B.
Veblen axioms for projective geometry
The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
-
C.
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.
-
D.
Thales’ theorem
Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
-
E.
Grundlagen der Geometrie
Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
- 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: Playfair's axiom Target entity description: 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.
-
A.
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.
-
B.
Veblen axioms for projective geometry
The Veblen axioms for projective geometry are a foundational set of incidence-based axioms introduced by Oswald Veblen to rigorously formalize the structure of projective spaces.
-
C.
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.
-
D.
Thales’ theorem
Thales’ theorem is a fundamental result in Euclidean geometry stating that any angle inscribed in a semicircle is a right angle.
-
E.
Grundlagen der Geometrie
Grundlagen der Geometrie is David Hilbert’s foundational 1899 treatise that rigorously axiomatizes Euclidean geometry and helped shape modern mathematical logic and the axiomatic method.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
geometric axiom
ⓘ
parallel postulate formulation ⓘ |
| assumes | existence of at least one line through any two distinct points ⓘ |
| category | axiom of plane geometry ⓘ |
| clarityAdvantage | more intuitive and concise than Euclid's original fifth postulate ⓘ |
| consequence |
circles of equal radius are congruent in Euclidean geometry
ⓘ
rectangles exist in Euclidean geometry ⓘ |
| contradictedBy |
axioms of elliptic geometry
ⓘ
axioms of hyperbolic geometry ⓘ |
| domainOfDiscourse | points and lines in a Euclidean plane ⓘ |
| equivalentTo | various other Euclidean parallel axioms ⓘ |
| expresses | uniqueness of parallels through an external point ⓘ |
| field | Euclidean geometry NERFINISHED ⓘ |
| formalization | can be expressed in first-order logic over incidence and parallelism relations ⓘ |
| geometricConsequence |
angle sum of polygons depends only on number of sides in Euclidean geometry
ⓘ
area of a triangle determined by its base and height in Euclidean geometry ⓘ existence of similar figures of arbitrary size ⓘ |
| historicalPeriod | 18th century formulation ⓘ |
| implies |
Pythagorean theorem in Euclidean geometry
ⓘ
existence of similar but non-congruent triangles in Euclidean geometry ⓘ sum of angles in a triangle equals 180 degrees in Euclidean geometry ⓘ |
| logicalForm | uniqueness axiom for parallels ⓘ |
| logicalStatus | equivalent to Euclid's parallel postulate in Euclidean geometry ⓘ |
| logicalType | independent of Euclid's first four postulates ⓘ |
| namedAfter | John Playfair NERFINISHED ⓘ |
| parallelLineCountInEllipticGeometry | no parallels through a point not on a given line ⓘ |
| parallelLineCountInHyperbolicGeometry | infinitely many parallels through a point not on a given line ⓘ |
| quantifierProperty | asserts existence and uniqueness of a parallel line ⓘ |
| reformulationOf | Euclid's parallel postulate NERFINISHED ⓘ |
| relatedConcept |
Euclid's Elements
NERFINISHED
ⓘ
elliptic geometry ⓘ hyperbolic geometry ⓘ non-Euclidean geometry ⓘ parallel lines ⓘ |
| requires |
notion of incidence between points and lines
ⓘ
notion of parallel lines ⓘ |
| roleInTheory | distinguishes Euclidean geometry from non-Euclidean geometries ⓘ |
| states | Through a point not on a given line there is exactly one line parallel to the given line ⓘ |
| teachingUse | standard form of the parallel postulate in modern geometry education ⓘ |
| truthValueInEllipticGeometry | false ⓘ |
| truthValueInEuclideanGeometry | true ⓘ |
| truthValueInHyperbolicGeometry | false ⓘ |
| usedAs | modern replacement for Euclid's fifth postulate in many textbooks ⓘ |
| usedFor | characterizing flat (zero curvature) geometric spaces ⓘ |
| usedIn | axiomatic treatments of plane geometry ⓘ |
| usedWith | Euclid's first four postulates ⓘ |
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: Playfair's axiom Description of subject: 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.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Euclid's fifth postulate