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

This paper proves an inconsistency in Peano arithmetic (PA). We express a strengthened form of the strong Goldbach conjecture by using a specific set that varies according to whether the conjecture or its negation holds. We show that, on the other hand, this set remains unchanged whether the conjecture holds or not. This causes a contradiction.