Universal claims about empty sets are all true, because there are no falsifying instances.
NOTE: Claims about empty sets are trivially true. Sure, “all irrational prime numbers are odd” because there are no irrational prime numbers, but it is equally true that “all irrational prime numbers are even”.
— Tutorials, PL 120 Symbolic Logic I, Fall 2011
— Professor H. Hamner Hill
2012.09.22 Saturday ACHK