To Paraphrase, if a contradiction might be proved in Peano arithmetic, then set principle might be logically inconsistent. Having said that, thoughts and proposals — and maybe expectations and familiarity — do vary with regards to how to proceed in these situations. An illustration is how from the draft manuscript https://centofizzkidneystoneremover.blogspot.com