the axiomatic system used is proven inconsistent and it can never be proven not to be inconsistent

The axiomatic system, containing arithmetic, can be proved to be consistent (without assuming additional axioms) if and only if it is inconsistent!