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.