Assertion: hypothesis | /r/HasProperty | forced assuming large cardinals
Facets:
value: always
type: DEGREE
Source sentences:
text: The point is that the hypothesis of this theorem can always be forced assuming large cardinals.