Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiom system
|
| gptkbp:field |
gptkb:geometry
|
| gptkbp:firstAxiom |
Any two distinct points lie on a unique line.
|
| gptkbp:fourthAxiom |
If a line meets two sides of a triangle, not at their intersection, it also meets the third side.
|
| https://www.w3.org/2000/01/rdf-schema#label |
Veblen axioms
|
| gptkbp:introducedIn |
1904
|
| gptkbp:namedAfter |
gptkb:Oswald_Veblen
|
| gptkbp:numberOfAxioms |
4
|
| gptkbp:relatedTo |
projective plane
incidence geometry |
| gptkbp:secondAxiom |
Any two distinct lines meet in at least one point.
|
| gptkbp:thirdAxiom |
There exist at least three points not on the same line.
|
| gptkbp:usedFor |
axiomatization of projective geometry
|
| gptkbp:bfsParent |
gptkb:Oswald_Veblen
|
| gptkbp:bfsLayer |
5
|