firstTheoremStates
P49357
predicate
Indicates that the content of the first theorem asserts or expresses a particular statement or claim.
Sample triples (1)
| Subject | Object |
|---|---|
| Gödel's incompleteness theorems | any consistent, effectively axiomatized theory capable of expressing elementary arithmetic is incomplete → |