Replying to the sibling comment, We invented mathematics because practical thinking leaves us without answers at some points. You are free to axiomatically cho

Replying to the sibling comment, We invented mathematics because practical thinking leaves us without answers at some points. You are free to axiomatically choose "all([]) = false", but then you'll find out that many mathematical equivalences won't hold as they all assume only the ZF axioms.