Assertion: set | /r/HasProperty | x ∈ v
Facets:
Source sentences:
text: If a universal set V existed and the axiom of comprehension could be applied to it, then there would also exist a set { x ∈ V ∣ x ∉ x } {\displaystyle \{x\in V\mid