A Technical Report on 'The Inconsistency of Arithmetic'

The present paper is a technical report on 'The Inconsistency of Arithmetic' available on http://vixra.org/abs/1904.0428. It contains a formalized analysis where the authors claim to "constitute a verified proof document" by an automated verification using the proof assistant 'Isabelle / HOL'. In order to refute the key statement (II) on page 2 of the inconsistency proof, the authors seek to create a countermodel. However, this model is based on an erroneous application of predicate logic. The crucial point is the lemma on page 7 which is proved wrongly. For that statement becoming true, the two sets S1, S2 have to exist for the case that (G) is true and for the case that (G) is false, and not the other way around: if (G) is true there is a pair of unequal sets that does the job and if (G) is false there is another pair.