Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
Euclidean plane
finite point sets |
| gptkbp:category |
theorems in plane geometry
|
| gptkbp:field |
gptkb:geometry
|
| gptkbp:firstProvedYear |
1944
|
| https://www.w3.org/2000/01/rdf-schema#label |
Sylvester–Gallai theorem
|
| gptkbp:namedAfter |
gptkb:James_Joseph_Sylvester
gptkb:Tibor_Gallai |
| gptkbp:proposedBy |
gptkb:James_Joseph_Sylvester
|
| gptkbp:provenBy |
gptkb:Tibor_Gallai
|
| gptkbp:relatedTo |
gptkb:combinatorial_geometry
incidence geometry |
| gptkbp:sentence |
Given a finite set of points in the Euclidean plane, not all on a line, there exists a line passing through exactly two of the points.
|
| gptkbp:yearProposed |
1893
|
| gptkbp:bfsParent |
gptkb:James_Joseph_Sylvester
|
| gptkbp:bfsLayer |
5
|