In other words, if a contradiction could be proved in Peano arithmetic, then set idea can be logically inconsistent. The natural figures sort a set, generally symbolized being a bold N or blackboard Daring ⁠ N displaystyle mathbb N This approach is now named Peano arithmetic. It is based on https://medium.com/@cureayublog/cureayu-ayurvedic-supplements-online-for-daily-wellness-5da6c7aa497a