|
gptkb:Helmholtz's_theorems
|
strength of a vortex tube is constant along its length
|
|
gptkb:fundamental_theorems_of_welfare_economics
|
any Pareto efficient allocation can be achieved by a competitive equilibrium, given suitable redistribution of initial endowments
|
|
gptkb:Gödel's_incompleteness_theorem
|
No consistent system can prove its own consistency.
|
|
gptkb:Noether_isomorphism_theorems
|
gptkb:Second_isomorphism_theorem
|
|
gptkb:Clifford's_circle_theorems
|
If four circles pass through a common point, and a fifth circle passes through the other three points of intersection, then the five points of intersection of the fifth circle with the original four are concyclic.
|
|
gptkb:Lie's_three_theorems
|
Every finite-dimensional real Lie algebra is the Lie algebra of some local Lie group.
|