assumptionWeakenedFrom
P189264
predicate
Indicates that one assumption is a weaker or less restrictive version derived from another, stronger assumption.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| assumptionWeakened | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Rosser sentence | ω-consistency ⓘ |
| Rosser’s trick in incompleteness proofs | ω-consistency via predicate surface "assumptionWeakened" ⓘ |