3 ms·I thought $\exists$ does not require an exhaustive list, but $\forall$ does.by hintymad 4y agoI thought $\exists$ does not require an exhaustive list, but $\forall$ does.