Goldbach's Conjecture — A Route to the Inconsistency of Arithmetic

This paper proves an inconsistency in Peano arithmetic (PA). The contradiction we derive is based on two properties of a specific set which we use to reformulate a strengthened form of the strong Goldbach conjecture. We show that the conjecture and its negation, if we express them as assumptions using that set, on the one hand make no difference, but on the other hand they do.