Goldbach's Conjecture — Towards the Inconsistency of Arithmetic

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