Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Axioms
Mathematical postulates |
| gptkbp:author |
gptkb:Euclid
|
| gptkbp:fifthPostulate |
If two lines are drawn which intersect a third in such a way that the sum of the inner angles on one side is less than two right angles, then the two lines inevitably must intersect each other on that side if extended far enough.
|
| gptkbp:fifthPostulateCommonName |
gptkb:Parallel_postulate
|
| gptkbp:firstPostulate |
A straight line segment can be drawn joining any two points.
|
| gptkbp:formedBy |
gptkb:Elements
circa 300 BCE |
| gptkbp:fourthPostulate |
All right angles are congruent.
|
| https://www.w3.org/2000/01/rdf-schema#label |
Euclid's postulates
|
| gptkbp:influenced |
gptkb:Development_of_non-Euclidean_geometry
gptkb:Foundations_of_geometry |
| gptkbp:language |
gptkb:Ancient_Greek
|
| gptkbp:numberOfPostulates |
5
|
| gptkbp:partOf |
gptkb:Euclidean_geometry
|
| gptkbp:secondPostulate |
Any straight line segment can be extended indefinitely in a straight line.
|
| gptkbp:thirdPostulate |
Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center.
|
| gptkbp:bfsParent |
gptkb:geometry
|
| gptkbp:bfsLayer |
4
|