Why should (every? string? []) yield true?

Question

Looking at the source code for every? makes clear why

(every? string? []) => true

This is because every?

Answer 1

Function every? implements the universal quantification.

From (every? string? []) => false it would follow that [] contains an object x such that (string? x) => false (this is how negation of universal quantifier works). This leads to contradiction, so (every? string? []) must return true.