Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In Proposition 3.1., there happens the common faux pas. It currently says
If any inhabited subset of the natural numbers possesses a minimal element, then the law of excluded middle holds.
“Any” can be used for \forall, but if that word is put in an antecedent, then it becomes an \exists.
I quickly tried to search the site and there’s some other, more mildly ambiguous cases. In initial object, it says
An initial object ∅ is called a strict initial object if any morphism x→∅ must be an isomorphism.
This is an intended \forall, but I think I can construe a sentence for the same form where this would also turn to an intended \exists:
“A school class will immediately be put in quarantine if any of the kids must see a doctor.”
:P
I think those cases will always be resolved by substituting ’any’ with ’every’.
Please fix it where you spot it. Thanks.
added pointer to:
1 to 8 of 8