Assertion: relative consistency | /r/HasProperty | interesting
Facets:
value: in set theory
type: OTHER
value: in other sufficiently expressive axiomatic systems
type: OTHER
Source sentences:
text: Because consistency of ZF is not provable in ZF, the weaker notion relative consistency is interesting in set theory (and in other sufficiently expressive axiomatic systems).