An Inconsistency

This paper proves an inconsistency in ZFC. For a strengthened form of the strong Goldbach conjecture and its negation, we show that assuming either statement implies that we have a proof of that statement. In other words, the paper actually does not solve the conjecture, but it proves that it does. This contradiction is the consequence of a property of a specific set which we use to reformulate the conjecture.