Comment by tim-kt

It's true precisely because it's vacuous. If you quantify over the empty set, anything is true.

In other words, the statement "for every x in {} it holds that <anything>" is always true.