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