If you have a formal system, and in that system you are able to prove P and not P, then for any proposition Q, you can prove Q: Q is equivalent to P=>Q since P is true. But since not P is also true, P=>Q is true hence Q is true.
And that means your formal system is useless because it proves every statement.
