avoidsAssumption
P189548
predicate
Indicates that one entity deliberately refrains from making a particular assumption about another entity or situation.
Sample triples (2)
| Subject | Object |
|---|---|
| Rosser trick | ω-consistency ⓘ |
| Rosser sentence | ω-consistency of the theory ⓘ |