|
gptkb:Gödel's_incompleteness_theorems
|
Any consistent formal system that is capable of expressing elementary arithmetic cannot be both complete and consistent.
|
|
gptkb:Gödel's_Incompleteness_Theorems
|
Any consistent formal system that is sufficiently expressive cannot be complete.
|
|
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.
|