assumptionRequired
P190127
predicate
Indicates that a particular assumption must hold or be accepted as true for the related action, condition, or relationship to apply.
Sample triples (1)
| Subject | Object |
|---|---|
| Rosser’s trick in incompleteness proofs | simple consistency ⓘ |