firstTheoremStates

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Pappus–Guldinus_theorem surface area generated by revolving a plane curve equals the product of the length of the curve and the distance traveled by its centroid
gptkb:Bieberbach_theorem A crystallographic group in n-dimensional Euclidean space has a free abelian subgroup of rank n of finite index.
gptkb:Gödel's_Incompleteness_Theorems Any consistent formal system that is sufficiently expressive cannot be complete.
gptkb:Gödel's_incompleteness_theorems Any consistent formal system that is capable of expressing elementary arithmetic cannot be both complete and consistent.