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

This paper proves an inconsistency in Peano arithmetic (PA). We express two propositions — a strengthened form of the strong Goldbach conjecture and its negation — using a specific set that varies according to which of the propositions holds. On the other hand, we show that this set remains unchanged under the assumptions of the two statements. This causes a contradiction.