Random triples
| Subject | Object |
|---|---|
| gptkb:Noether_isomorphism_theorems | If A and B are subgroups of G, then (A·B)/B ≅ A/(A∩B). |
| 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:Gödel's_incompleteness_theorems_(1931) | No consistent system can prove its own consistency. |