|
gptkb:fundamental_theorems_of_welfare_economics
|
any competitive equilibrium leads to a Pareto efficient allocation
|
|
gptkb:Gödel's_incompleteness_theorem
|
In any consistent formal system adequate for arithmetic, there are statements that are true but unprovable within the system.
|
|
gptkb:Lie's_three_theorems
|
The Lie algebra of a Lie group is a finite-dimensional real Lie algebra.
|
|
gptkb:Clifford's_circle_theorems
|
If four circles pass through a common point, then the other three points of intersection are concyclic.
|
|
gptkb:Helmholtz's_theorems
|
vortex lines move with the fluid
|
|
gptkb:Noether_isomorphism_theorems
|
gptkb:First_isomorphism_theorem
|