Random triples
| Subject | Object |
|---|---|
| gptkb:Gödel's_incompleteness_theorems_(1931) | Any consistent formal system that is capable of expressing elementary arithmetic cannot be both complete and consistent. |
| gptkb:Hohenberg-Kohn_theorems | The ground-state properties of a many-electron system are uniquely determined by its electron density. |
| gptkb:Noether_isomorphism_theorems | If f: G → H is a group homomorphism, then G/ker(f) ≅ im(f). |