Getting a theory that proves its own consistency isn't what's being discussed here. What's being discussed here is just weakening a theory to remove a particul

Getting a theory that proves its own consistency isn't what's being discussed here. What's being discussed here is just weakening a theory to remove a particular inconsistency after an inconsistency is found. Trying to make a usable theory that also proves its own consistency is probably also a futile goal, per Gödel, but it's a separate one, and not one that people would likely go for if an inconsistency were found in Peano arithmetic.