You're downvoted, but what you've said is basically the point-of and conclusion-to the article. `N` denotes a set and `Natural` denotes a type, and one cannot

You're downvoted, but what you've said is basically the point-of and conclusion-to the article. `N` denotes a set and `Natural` denotes a type, and one cannot be eliminated to the other in all contexts of use.