resultByGödel
P161440
predicate
Indicates that one entity is obtained as a result of applying Gödel’s method, construction, or procedure to another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| Hilbert's first problem | continuum hypothesis is consistent with ZFC if ZFC is consistent ⓘ |