firstTheorem

6 triples
GPTKB property

Random triples
Subject Object
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:Lie's_three_theorems The Lie algebra of a Lie group is a finite-dimensional real Lie algebra.
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:fundamental_theorems_of_welfare_economics any competitive equilibrium leads to a Pareto efficient allocation
gptkb:Noether_isomorphism_theorems gptkb:First_isomorphism_theorem