theorem :: ZFREFLE1:1

for M being non empty set holds M |= {} WFF ;