In other words, if a contradiction could be proved in Peano arithmetic, then set principle can be logically inconsistent. のぼってみようと思ったのですが、最近はケガの治りも遅いので、大事を取ってスルーしました。 This solution has become called Peano arithmetic. It is based on an axiomatization of the Qualities of ordinal numbers: Every natural amount includes a successor and every non-... https://naturalhealthproductsindia.blogspot.com