Assertion: set's property | /r/HasProperty | definable
Facets:
Source sentences:
text: The idea is to pick \(r\) generic over \(M\), meaning that \(r\) is built from its finite approximations in such a way that it does not have any property that is definable in \(M\) and can be avoided.