Random triples
| Subject | Object |
|---|---|
| gptkb:Bieberbach_theorem | Any two crystallographic groups with isomorphic translation subgroups are affinely equivalent. |
| gptkb:Gödel's_incompleteness_theorems | No consistent system can prove its own consistency. |
| gptkb:Gödel's_Incompleteness_Theorems | No consistent system can prove its own consistency. |
| gptkb:Pappus–Guldinus_theorem | volume generated by revolving a plane area equals the product of the area and the distance traveled by its centroid |