secondTheoremStatement

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Hohenberg-Kohn_theorems The ground-state energy can be obtained variationally: the density that minimizes the energy functional is the true ground-state density.
gptkb:Noether_isomorphism_theorems If A and B are subgroups of G, then (A·B)/B ≅ A/(A∩B).
gptkb:Gödel's_incompleteness_theorems_(1931) No consistent system can prove its own consistency.