Assertion: set's number | /r/HasProperty | avoided
Facets:
Source sentences:
text: For example, by viewing \(r\) as an infinite sequence of natural numbers in the increasing order, the property of \(r\) containing only finitely-many even numbers can be avoided, because given any finite approximation to \(r\)—i.e., any finite increasing sequence of natural numbers—one can always extend it by adding more even numbers, so that at the end of the construction \(r\) will contain infinitely-many even numbers; while the property of containing the number 7 cannot be avoided, because when a finite approximation to \(r\) contains the number 7, then it stays there no matter how the construction of \(r\) proceeds.