To paraphrase, if a contradiction can be proved in Peano arithmetic, then set theory could be logically inconsistent. The natural figures form a established, typically symbolized as a bold N or blackboard bold ⁠ N displaystyle mathbb N This approach is currently named Peano arithmetic. It relies on an axiomatization https://weightlossayurvedicsupplements.video.blog/