To paraphrase, if a contradiction could be proved in Peano arithmetic, then set concept would be logically inconsistent. Even if this method is simply too extensive for your context, owing to the fact that unique people have distinct contexts, maybe this may enable someone else in the future. Kevin Workman https://ayurvedicsupplementonline.blogspot.com/