To me the matter looks similar to taking the conjunction of the empty set, which is defined to be TRUE. This, however, starts to make sense when you see that th

To me the matter looks similar to taking the conjunction of the empty set, which is defined to be TRUE. This, however, starts to make sense when you see that the taking the conjunction of a set X can be interpreted as "forall x in X, x is TRUE". If X is empty then this statement is trivially true.