P ^ not P => _|_

The axioms of a logic that are consistent will definitely not let a statement be true and false at the same time.