Zero-one law (logic)