Content deleted Content added
removing self-link |
formal semantics |
||
Line 1:
In [[
:: <math>\{X \,|\, \forall x (x \text{ is a boy} \to x \in X) \}</math>
|
removing self-link |
formal semantics |
||
Line 1:
In [[
:: <math>\{X \,|\, \forall x (x \text{ is a boy} \to x \in X) \}</math>
|